Semantics of a Call-by-Need Lambda Calculus with McCarthy amb for programm equivalence

Zugl.: Frankfurt am Main, Univ., Diss., 2008

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sabel, David (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München Dr. Hut Verlag 2008
Ausgabe:	1. Aufl.
Schriftenreihe:	Informatik
Schlagworte:	Programmtransformation - Korrektheit - Programmiersprache - Nebenläufigkeit - Abstrakter Automat - Lambda-Kalkül > Lambda-Kalkül > Programmtransformation > Programmiersprache > Nebenläufigkeit > Korrektheit > Abstrakter Automat > Hochschulschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!