Skip to Content
Toggle navigation
Accueil
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
S'identifier
Explore, Discover, Share
Aller
Advanced search
Recherche
Effacer les filtres
Filtrage par:
Advisor
Bohrer, Rose
Supprimer la restriction Advisor: Bohrer, Rose
Type de ressource
Thesis
Supprimer la restriction Type de ressource: Thesis
1
-
3
sur
3
Trier par relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Nombre de résultats à afficher par page
10 par page
10
par page
20
par page
50
par page
100
par page
Affichage:
Liste
Galerie
Mosaïque
Diaporama
Résultats de recherche
Logic For Exploit Detection: Utilizing Proof Search for Exploitability Detection in Compact Software Systems
Mot-clé:
Bug Detection
,
Staged Linear Logic
,
Logic Programming
,
Linear Logic Programming
,
Proof Search
, and
Python
Créateur:
Eskandari Miandoab, Kaveh
Advisor:
Bohrer, Rose
Éditeur:
Worcester Polytechnic Institute
date créée:
2024-04-25
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Regular Session Types
Mot-clé:
Exponential Types
,
Regular Languages
,
RST
,
Session Types
, and
Program Synthesis
Créateur:
Friedman, Alex
Advisor:
Bohrer, Rose
Éditeur:
Worcester Polytechnic Institute
date créée:
2023-11-16
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Homotopy Type Theory for Sewn Quilts
Mot-clé:
Programming Language
,
Quilts
, and
Homotopy Type Theory
Créateur:
Clark, Charlotte
Advisor:
Bohrer, Rose
Éditeur:
Worcester Polytechnic Institute
date créée:
2023-04-20
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Toggle facets
Limiter votre recherche
Collections
Masters Theses
3
Year
Year range begin
–
Year range end
Current results range from
2023
to
2024
View distribution
Créateur
Clark, Charlotte
1
Eskandari Miandoab, Kaveh
1
Friedman, Alex
1
Advisor
Bohrer, Rose
[remove]
3
Contributor
Bohrer, Rose
3
Heineman, George
1
Sun, Xiaoyan Sherry
1
Unit (Department)
Computer Science
3
Éditeur
Worcester Polytechnic Institute
3
Type de ressource
Thesis
[remove]
3
License
https://creativecommons.org/licenses/by/4.0/
1