Lazy Evaluation : from natural semantics to a machine-checked compiler transformation / by Joachim Breitner

Von:

Breitner, Joachim [VerfasserIn]

Mitwirkende(r):

Karlsruher Institut für Technologie [Verlag]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Verlag: Karlsruhe : KIT Scientific Publishing, [2016]Beschreibung: 1 Online-Ressource (xiv, 231 Seiten) : IllustrationenISBN:

9783731505464

Schlagwörter:

Genre/Form:

Hochschulschrift

Andere physische Formen: Erscheint auch als: Lazy Evaluation. Druck-Ausgabe Karlsruhe : KIT Scientific Publishing, 2016. xiv, 231 Seiten | Erscheint auch als: Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. Druck-Ausgabe. Karlsruhe, Baden : KIT Scientific Publishing, 2016. XIV, 231 S., 256 Seiten, graph. DarstDDC-Klassifikation:

DOI: DOI: 10.5445/KSP/1000056002Online-Ressourcen:

Volltext frei verfügbar

Hochschulschriftenvermerk: Dissertation - Karlsruhe, Karlsruher Institut für Technologie (KIT), 2016 PPN: PPN: 874115981Package identifier: Produktsigel: GBV-ODiss | ZDB-104-KIT

Exemplare ( 0 )

Dieser Titel hat keine Exemplare