| Bibliography | Gaiser, Andreas: Erreichbarkeitsanalyse funktionaler Programme mit Grundtermersetzungssystemen.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2718 (2008).
104 pages, german.
|
|---|
| CR-Schema | D.2.4 (Software Engineering Software/Program Verification)
|
|---|
| Keywords | Model Checking; Funktionale Programmierung; Erreichbarkeitsanalyse; Baumautomat |
|---|
| Abstract | 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.
|
|---|
Full text and
other links | PDF (830103 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations |
|---|
| Contact | gaiser@model.in.tum.de |
|---|
| Department(s) | University of Stuttgart, Institute of Formal Methods in Computer Science, Theoretical Computer Science
|
|---|
| Superviser(s) | Javier Esparza und Stefan Schwoon |
|---|
| Project(s) | Theoretische Informatik
|
|---|
| Entry date | November 16, 2008 |
|---|