Index Catalog // Hyrax

Remover filtros

Filtragem por: Advisor Bohrer, Rose Palavra-chave Linear Logic Programming

1. Logic For Exploit Detection: Utilizing Proof Search for Exploitability Detection in Compact Software Systems

Palavra-chave:: Bug Detection, Staged Linear Logic, Logic Programming, Linear Logic Programming, Proof Search, and Python
O Criador:: Eskandari Miandoab, Kaveh
Advisor:: Bohrer, Rose
Editor:: Worcester Polytechnic Institute
Data Criada:: 2024-04-25
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science