Bibliograph. Daten | Gaiser, Andreas: Erreichbarkeitsanalyse funktionaler Programme mit Grundtermersetzungssystemen. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 2718 (2008). 104 Seiten, deutsch.
|
CR-Klassif. | D.2.4 (Software Engineering Software/Program Verification)
|
Keywords | Model Checking; Funktionale Programmierung; Erreichbarkeitsanalyse; Baumautomat |
Kurzfassung | Diese Arbeit beschäftigt sich mit Erreichbarkeitsproblemen in der funktionalen Programmierung. Funktionalen Programmen kann mithilfe von Termersetzungssystemen eine operationale Semantik gegeben werden. Durch Einschränkung der Programmvariablen auf endliche Wertebereiche entstehen Grundtermersetzungssysteme, fur die das Erreichbarkeitsproblem entscheidbar ist. Bestehende Ansätze benötigen viel Zeit und Speicherplatz, um die aus funktionalen Programmen entstehenden Grundtermersetzungssysteme verarbeiten zu konnen. Daher wurde eine effiziente Darstellung von Grundtermersetzungssystemen und ein dazugehöriger symbolischer Algorithmus fur das Erreichbarkeitsproblem entwickelt.
|
Volltext und andere Links | PDF (830103 Bytes) Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich |
Kontakt | gaiser@model.in.tum.de |
Abteilung(en) | Universität Stuttgart, Institut für Formale Methoden der Informatik, Theoretische Informatik
|
Betreuer | Javier Esparza und Stefan Schwoon |
Projekt(e) | Theoretische Informatik
|
Eingabedatum | 16. November 2008 |
---|