Semantik eines verzögert auswertenden Lambdakalküls mit McCarthy’s amb für Programmäquivalenz

dc.contributor.author	Sabel, David
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2020-08-21T08:42:09Z
dc.date.available	2020-08-21T08:42:09Z
dc.date.issued	2009
dc.description.abstract	In diesem Beitrag werden die Ergebnisse der Untersuchung eines verzögert-auswertenden Lambdakalküls höherer Ordnung mit case-Ausdrücken, rekursivem let-rec, einem seq-Operator und einem nichtdeterministischen Divergenz-vermeidenden Operatoramb dargestellt. Als Gleichheitsbegriff wird kontextuelle Äquivalenzbzgl. einer May- und Must-Konvergenz verwendet. Mithilfe syntaktischer Methoden wird die Korrektheit von Programmtransformationen nachgewiesen und die Korrektheit von Übersetzungenuntersucht.U.a.werden ein Kontextlemma, ein Standardisierungstheorem und die Gültigkeit einer endlichen Simulation gezeigt.	de
dc.identifier.isbn	978-3-88579-413-4
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/33602
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2008
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-9
dc.title	Semantik eines verzögert auswertenden Lambdakalküls mit McCarthy’s amb für Programmäquivalenz	de
gi.citation.endPage	230
gi.citation.publisherPlace	Bonn
gi.citation.startPage	221

Dateien

1 - 1 von 1