Cantitate/Preț
Produs
Total produse
Vezi coșul
Lazy Evaluation de Joachim Breitner

Lazy Evaluation

Autor Joachim Breitner
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

Toate formatele și edițiile Preț Express
Paperback (1) 49472 lei  38-44 zile
  Saint Philip Street Press – 8 oct 2020 49472 lei  38-44 zile
Hardback (1) 57556 lei  38-44 zile
  Saint Philip Street Press – 8 oct 2020 57556 lei  38-44 zile

Preț: 57556 lei

Preț vechi: 71057 lei
-19%

Puncte Express: 863
Preț estimativ în valută:
10175€ • 12131$ • 8825£

Carte tipărită la comandă

Livrare economică 11-17 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9781013279799
ISBN-10: 1013279794
Pagini: 250
Dimensiuni: 221 x 286 x 18 mm
Greutate: 0.88 kg
Editura: Saint Philip Street Press