Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

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

Dissertationsschrift

Sprache EnglischEnglisch
Buch Broschur
Buch Lazy Evaluation: From natural semantics to a machine-checked compiler transformation Joachim Breitner
Libristo-Code: 15210213
Verlag KIT Scientific Publishing, November 2015
In order to solve a long-standing problem with list fusion, a new compiler transformation, "Call Ari... Vollständige Beschreibung
? points 78 b
31.89 € inkl. MwSt.
Externes Lager Wir versenden in 8-11 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Musee de Peinture Et de Sculpture. Vol2 Rene Menard / Buch Broschur
common.buy 15.49 €
Death Note - Tome 3 Tsugumi Ohba / Buch Buch
common.buy 8.49 €
LES MYTHES PROFESSIONNELS DES JOURNALISTES Le Bohec / Buch Broschur
common.buy 35.49 €
Le Monde fantastique des Arbres Thomas Micek / Buch Hardcover
common.buy 20.39 €
Günstig
LA NATURALEZA PASATIEMPOS JUEGOS PEQUEÑI GILPIN REBECCA / Buch Buch
common.buy 4.79 €
Zweiter Beitrag zur Ornithologie Westafrica's G. Hartlaub / Buch Broschur
common.buy 11.90 €
Epileptische Anfälle Kazimierz Karbowski / Buch Broschur
common.buy 54.99 €
Opowiem ci, mamo, co robią dinozaury Emilia Dziubak / Buch Hardcover
common.buy 7.99 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Autor Joachim Breitner
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2016
Anzahl der Seiten 501
EAN 9783731505464
Libristo-Code 15210213
Verlag KIT Scientific Publishing
Gewicht 350
Abmessungen 148 x 210 x 13

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Top
The Art Of Seduction Robert Greene / Buch Broschur
common.buy 18.09 €
ALL FOR THE LOVE OF MAX Joyce Ann Lahr / Buch Broschur
common.buy 14.29 €
Messages to Heal the Soul A Sacred Journey of Light, Love and Divine Guidance Sorina Vizitiu / Buch Broschur
common.buy 8.69 €
Synopsis Of American Wasps: Solitary Wasps (1875) Henri De Saussure / Buch Hardcover
common.buy 53.39 €
Forgetting Jesus: Exposing Postmodern, Christless Evangelism Timothy B Gallagher / Buch Broschur
common.buy 10.69 €
Memorial Record in Memory of Honourable Increase Sumner of Great Barrington, Mass. Charles Allen Sumner / Buch Broschur
common.buy 16.09 €
Referring Expressions, Pragmatics, and Style Kate Scott / Buch Hardcover
common.buy 123.69 €
Mad River Justin Bigos / Buch Broschur
common.buy 13.49 €
Demnächst
THE LAST DAYS OF CHARLES I GRAHAM EDWARDS / Buch Broschur
common.buy 8.29 €
Developing Motor and Social Skills Christopher Denning / Buch Hardcover
common.buy 64.89 €
Cultural Transformation and Religious Practice Graham Ward / Buch Broschur
common.buy 60.39 €
Chris Van Allsburg Chris Bowman / Buch Hardcover
common.buy 13.79 €
Judge Not, a Poem, on Christian Charity. (Minor Poems, Odes, Etc.). Edmund Peel / Buch Broschur
common.buy 21.39 €
Badge JoAnn Guidry / Buch Broschur
common.buy 17.69 €
Take a Breath...Take a Moment J Sudoxe / Buch Broschur
common.buy 11.39 €
In the Course of Things Lawrence Cooper / Buch Broschur
common.buy 16.19 €
Puzzling Identities Stephen Adam Schwartz / Buch Hardcover
common.buy 47.59 €
Around Saegertown Joshua F. Sherretts / Buch Broschur
common.buy 16.89 €
When Darkness Comes J. H. Rhodes / Buch Broschur
common.buy 12.99 €
Crowd Design Florian Alexander Schmidt / Buch Hardcover
common.buy 45.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?