Skip to Content
Toggle navigation
Startseite
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Anmeldung
Explore, Discover, Share
Suchen
Advanced search
Suchen
Filter löschen
Filtern nach:
Advisor
Bohrer, Rose
Entfernen Zwang Advisor: Bohrer, Rose
Stichwort
Staged Linear Logic
Entfernen Zwang Stichwort: Staged Linear Logic
1
eintrag gefunden
Ordnen bei relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Anzahl der Ergebnisse pro Seite angezeigt werden
10 pro Seite
10
pro Seite
20
pro Seite
50
pro Seite
100
pro Seite
Anschauen Ergebnisse als:
Liste
Gallery
Masonry
Slideshow
Suchergebnisse
1.
Logic For Exploit Detection: Utilizing Proof Search for Exploitability Detection in Compact Software Systems
Stichwort:
Bug Detection
,
Staged Linear Logic
,
Logic Programming
,
Linear Logic Programming
,
Proof Search
, and
Python
Schöpfer:
Eskandari Miandoab, Kaveh
Advisor:
Bohrer, Rose
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2024-04-25
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Toggle facets
Beschränken dein Suche
Collections
Masters Theses
1
Year
2024
1
Schöpfer
Eskandari Miandoab, Kaveh
1
Advisor
Bohrer, Rose
[remove]
1
Contributor
Bohrer, Rose
1
Sun, Xiaoyan Sherry
1
Unit (Department)
Computer Science
1
Herausgeber
Worcester Polytechnic Institute
1
Ressourcentyp
Thesis
1
License
https://creativecommons.org/licenses/by/4.0/
1
