Tell your friends about this item:
Lazy Evaluation Joachim Breitner
Do you have a profile? Log in
Christmas presents can be returned until 31 January
Get notified about new Joachim Breitner releases
Our customers say:
Add to your iMusic wish list
Lazy Evaluation
Joachim Breitner
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. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 9, 2020 |
| ISBN13 | 9781013279782 |
| Publishers | Saint Philip Street Press |
| Pages | 252 |
| Dimensions | 216 × 280 × 13 mm · 589 g |
| Language | English |
