X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
zurück zur Trefferliste
  • 1
    Online-Ressource
    Online-Ressource
    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation (2016)
    KIT Scientific Publishing
    Details
    UID:
    edoccha_9959145700402883
    Umfang: 1 electronic resource (XIV, 231 p. p.)
    ISBN: 1000056002
    Inhalt: 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.
    Anmerkung: English
    Weitere Ausg.: ISBN 3-7315-0546-0
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Charité
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz