Zobacz książki o podobnej tematyce

Więcej informacji o Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 86 punkty

Opis

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.

Szczegóły książki

• Pełny tytuł: Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
• Podtytuł: Dissertationsschrift
• Autor: Joachim Breitner
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 501
• EAN: 9783731505464
• ID: 15210213
• Wydawca: KIT Scientific Publishing
• Waga: 350 g
• Wymiary: 210 × 148 × 13 mm
• Rok wydania: 2016

Ulubione w innej kategorii

---

---

---