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.contributor.editor	et al.
dc.date.accessioned	2020-08-21T08:42:09Z
dc.date.available	2020-08-21T08:42:09Z
dc.date.issued	2009
dc.identifier.isbn	978-3-88579-413-4
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/33602
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.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
dc.pubPlace	Bonn
mci.reference.pages	221-230