Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
CHF 51.80
Auf Lager
SKU
BNIVMLU0HCI
1 Verfügbar 
Geliefert zwischen Do., 20.11.2025 und Fr., 21.11.2025
Details
In order to solve a long-standing problem with list fusion, a new compiler transformation, Call Arity is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury's Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783731505464
- Anzahl Seiten 256
- Lesemotiv Verstehen
- Genre Programming Languages
- Herausgeber Karlsruher Institut für Technologie
- Gewicht 376g
- Untertitel Dissertationsschrift
- Größe H210mm x B148mm x T16mm
- Jahr 2016
- EAN 9783731505464
- Format Kartonierter Einband
- ISBN 3731505460
- Veröffentlichung 30.09.2016
- Titel Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
- Autor Joachim Breitner
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
