Full metadata record
DC FieldValueLanguage
dc.contributor.advisorDoberkat, Ernst-Erich-
dc.contributor.authorSchultze, Jan-
dc.date.accessioned2014-09-29T07:25:23Z-
dc.date.available2014-09-29T07:25:23Z-
dc.date.issued2014-09-29-
dc.identifier.urihttp://hdl.handle.net/2003/33629-
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-15595-
dc.description.abstractDie Arbeit beschäftigt sich mit den Einsatzmöglichkeiten bereits bestehender automatisierter Verfahren zur Terminierungsanalyse für die Klasse der praktische relevanten, imperativen Programmiersprachen. Die automatisierte Terminierungsanalyse ist für Termersetzungssysteme besonders gut untersucht. Eine Anwendung der resultierenden Methoden ist für deklarative Programmiersprachen mit beachtlichem Erfolg möglich, während sich eine Anwendung auf imperative Sprachen schwieriger gestaltet. Jedoch können durch Ausnutzung der großen Ausdrucksstärke funktionaler Programmiersprachen imperative Programme durch funktionale Programme simulieren. Es wird untersucht, inwiefern die resultierenden funktionalen Programme der Terminierungsanalyse mit Termersetzungsmethoden zugänglich sind. Es werden verschiedene Probleme gezeigt, die durch Anwendung bestimmter Programmtransformationen gelöst werden können, sodass arithmetische Teilprogramme einer Terminierungsanalyse zugänglich werden. Es wird auch gezeigt, dass dieser Ansatz nicht zur Analyse von Programmen, die dynamisch Speicher allozieren genutzt werden kann. Ein weiteres Problem bei der Analyse praktisch relevanter, imperativer Sprachen aus der Praxis stellen Ein- und Ausgabeanweisungen dar. Da diese den bestehenden Verfahren unzugänglich sind, sind im Allgemeinen Transformationen notwendig, um zumindest Teilprogramme zu analysieren. Es wird daher eine formale Semantik für eine imperative Sprache mit Ein- und Ausgabeanweisung eingeführt. Auf dieser Grundlage wird ein Kriterium entwickelt, welches erlaubt, die semantische Äquivalenz einer Permutation einer Anweisungsfolge nachzuweisen.de
dc.language.isodede
dc.subjectTerminierungsanalyse imperativer Programmiersprachende
dc.subjectTransformation imperativer Programme zu funktionalen Programmende
dc.subjectUmsortieren von Anweisungende
dc.subjectSemantische Äquivalenz von Permutationen von Anweisungende
dc.subjectOperationelle Semantik von Ein- und Ausgabeanweisungende
dc.subject.ddc004-
dc.titlePraktische Probleme bei der Konstruktion von Software zur automatisierten Terminierungsanalysede
dc.typeTextde
dc.contributor.refereePadawitz, Peter-
dc.date.accepted2014-09-10-
dc.type.publicationtypedoctoralThesisde
dcterms.accessRightsopen access-
Appears in Collections:LS 10 Software-Technologie

Files in This Item:
File Description SizeFormat 
Dissertation.pdfDNB1.38 MBAdobe PDFView/Open


This item is protected by original copyright



This item is protected by original copyright rightsstatements.org