Ein Determinismus Checker für plspec
Umfang
Dieses Thema kann als Bachelorarbeit oder Teil einer Projektarbeit bearbeitet werden.
Empfohlene Vorkenntnisse
- gute Prolog Kenntnisse (z.B. durch Besuch der Veranstaltung “Einführung in die logische Programmierung”)
Problem
In plspec ist es möglich, Typen an Prolog Code zu annotieren. Diese Annotationen können dann zur Laufzeit überprüft werden. Ziel der Arbeit ist es, Annotationen hinzuzufügen, die Aussagen über das Backtracking-Verhalten von Prädikaten machen und entsprechende Runtime-Checks zu implementieren.
Minimalanforderungen
- Hinzufügen von Annotationen
- Implementierung von Runtime-Checks
Erweiterungen
- statische Checks wo möglich
Kontakt
Philipp KörnerRaum 25.12.02.56
p.koerner@hhu.de