Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen
Verfasserangaben: | Arne Kutzner |
---|---|
URN: | urn:nbn:de:hebis:30-19304 |
Gutachter*in: | Manfred Schmidt-SchaußORCiDGND |
Dokumentart: | Dissertation |
Sprache: | Deutsch |
Datum der Veröffentlichung (online): | 18.10.2005 |
Jahr der Erstveröffentlichung: | 1999 |
Veröffentlichende Institution: | Universitätsbibliothek Johann Christian Senckenberg |
Titel verleihende Institution: | Johann Wolfgang Goethe-Universität |
Datum der Abschlussprüfung: | 03.04.2000 |
Datum der Freischaltung: | 18.10.2005 |
GND-Schlagwort: | Ein-Ausgabe ; Funktionale Programmiersprache ; Lambda-Kalkül ; Nichtdeterminismus ; Operationale Semantik ; Programmtransformation |
HeBIS-PPN: | 133681939 |
Institute: | Informatik und Mathematik / Informatik |
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Lizenz (Deutsch): | Deutsches Urheberrecht |