Lazy Evaluation

en Limba Engleză Paperback – 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)	494^.72 lei 38-44 zile
Saint Philip Street Press – 8 oct 2020	494^.72 lei 38-44 zile
Hardback (1)	575^.56 lei 38-44 zile
Saint Philip Street Press – 8 oct 2020	575^.56 lei 38-44 zile

Preț: 494^.72 lei

Preț vechi: 610^.76 lei
-19%

Puncte Express: 742

:
87^.46€ • 104^.28$ • 75^.86£

Carte tipărită la comandă

Livrare economică 12-18 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9781013279782
ISBN-10: 1013279786
Pagini: 250
Dimensiuni: 216 x 280 x 13 mm
Greutate: 0.59 kg
Editura: Saint Philip Street Press

Papetărie, jocuri, reviste

Lazy Evaluation

Toate formatele și edițiile

Preț: 494.72 lei

Specificații

Preț: 494^.72 lei