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

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Sabel, D., (2009). Semantik eines verzögert auswertenden Lambdakalküls mit McCarthy’s amb für Programmäquivalenz. In: Hölldobler, S. & , . (Hrsg.), Ausgezeichnete Informatikdissertationen 2008. Bonn: Gesellschaft für Informatik. (S. 221-230).
@inproceedings{mci/Sabel2009,
author = {Sabel, David},
title = {Semantik eines verzögert auswertenden Lambdakalküls mit McCarthy’s amb für Programmäquivalenz},
booktitle = {Ausgezeichnete Informatikdissertationen 2008},
year = {2009},
editor = {Hölldobler, Steffen AND et al.} ,
pages = { 221-230 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
221.pdf216.0Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-413-4
ISSN: 1617-5468
Datum: 2009
Sprache: de (de)
Sammlungen

Zur Langanzeige