Lazy Evaluation

en Limba Engleză Hardback – 8 oct 2020

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.

Citește tot Restrânge

Toate formatele și edițiile

	Preț	Express
Paperback (1)	457^.51 lei 39-44 zile
Saint Philip Street Press – 8 oct 2020	457^.51 lei 39-44 zile
Hardback (1)	532^.26 lei 39-44 zile
Saint Philip Street Press – 8 oct 2020	532^.26 lei 39-44 zile