9783731505464 - Lazy Evaluation From natural semantics to a machine-checked compiler transformation

Bilder-Quelle: discount24.de - Sport-Freizeit

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.

Produktinformationen zuletzt aktualisiert am
04.04.2025 um 04:27 Uhr

Hersteller

EAN

9783731505464

MPN

ASIN

3731505460

Produktgruppe