Lazy Evaluation: From natural semantics to a machine-checked compiler transformation - Joachim Breitner - Bøger - Karlsruher Institut für Technologie - 9783731505464 - 30. september 2016
Ved uoverensstemmelse mellem cover og titel gælder titel

Joachim Breitner
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Pris
DKK 288

Bestilles fra fjernlager

Forventes klar til forsendelse 9. - 15. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 30. september 2016
ISBN13 9783731505464
Forlag Karlsruher Institut für Technologie
Antal sider 256
Mål 148 × 210 × 15 mm   ·   376 g
Sprog Tysk  

Se alt med Joachim Breitner ( f.eks. Paperback Bog )