Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Bohrer, Rose License https://creativecommons.org/licenses/by/4.0/ Resource type Thesis

Keyword:: Bug Detection, Staged Linear Logic, Logic Programming, Linear Logic Programming, Proof Search, and Python
Creator:: Eskandari Miandoab, Kaveh
Advisor:: Bohrer, Rose
Publisher:: Worcester Polytechnic Institute
Date Created:: 2024-04-25
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

Limit your search