Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | KIT Scientific Publishing |
| Ersterscheinung | 20. September 2016 |
| Maße | 21 cm x 14.8 cm |
| Gewicht | 350 Gramm |
| Format | Softcover |
| ISBN-13 | 9783731505464 |
| Seiten | 256 |
Schlagwörter
Bekannt durch
