Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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

Dissertationsschrift

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Lazy Evaluation: From natural semantics to a machine-checked compiler transformation Joachim Breitner
Libristo kod: 15210213
Nakladnici KIT Scientific Publishing, studeni 2015
In order to solve a long-standing problem with list fusion, a new compiler transformation, "Call Ari... Cijeli opis
? points 78 b
32.07 €
Vanjske zalihe Šaljemo za 8-11 dana

Do 30 dana za povrat

Kupci su kupili i

Musee de Peinture Et de Sculpture. Vol2 Rene Menard / Knjiga Meki uvez
common.buy 18.35 €
Death Note - Tome 3 Tsugumi Ohba / Knjiga Knjiga
common.buy 9.87 €
LES MYTHES PROFESSIONNELS DES JOURNALISTES Le Bohec / Knjiga Meki uvez
common.buy 41.45 €
Le Monde fantastique des Arbres Thomas Micek / Knjiga Tvrdi uvez
common.buy 23.79 €
Povoljno
LA NATURALEZA PASATIEMPOS JUEGOS PEQUEÑI GILPIN REBECCA / Knjiga Knjiga
common.buy 4.02 €
Zweiter Beitrag zur Ornithologie Westafrica's G. Hartlaub / Knjiga Meki uvez
common.buy 10.78 €
Epileptische Anfälle Kazimierz Karbowski / Knjiga Meki uvez
common.buy 52.94 €
Opowiem ci, mamo, co robią dinozaury Emilia Dziubak / Knjiga Tvrdi uvez
common.buy 9.98 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Autor Joachim Breitner
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2016
Broj stranica 501
EAN 9783731505464
Libristo kod 15210213
Nakladnici KIT Scientific Publishing
Težina 350
Dimenzije 148 x 210 x 13

Kategorija

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Top
The Art Of Seduction Robert Greene / Knjiga Meki uvez
common.buy 18.25 €
ALL FOR THE LOVE OF MAX Joyce Ann Lahr / Knjiga Meki uvez
common.buy 13.51 €
Messages to Heal the Soul A Sacred Journey of Light, Love and Divine Guidance Sorina Vizitiu / Knjiga Meki uvez
common.buy 10.28 €
Synopsis Of American Wasps: Solitary Wasps (1875) Henri De Saussure / Knjiga Tvrdi uvez
common.buy 51.33 €
Forgetting Jesus: Exposing Postmodern, Christless Evangelism Timothy B Gallagher / Knjiga Meki uvez
common.buy 10.28 €
Memorial Record in Memory of Honourable Increase Sumner of Great Barrington, Mass. Charles Allen Sumner / Knjiga Meki uvez
common.buy 19.15 €
Referring Expressions, Pragmatics, and Style Kate Scott / Knjiga Tvrdi uvez
common.buy 144.83 €
Mad River Justin Bigos / Knjiga Meki uvez
common.buy 12.80 €
Pripremamo
THE LAST DAYS OF CHARLES I GRAHAM EDWARDS / Knjiga Meki uvez
common.buy 9.67 €
Developing Motor and Social Skills Christopher Denning / Knjiga Tvrdi uvez
common.buy 72.81 €
Cultural Transformation and Religious Practice Graham Ward / Knjiga Meki uvez
common.buy 70.70 €
Chris Van Allsburg Chris Bowman / Knjiga Tvrdi uvez
common.buy 15.73 €
Judge Not, a Poem, on Christian Charity. (Minor Poems, Odes, Etc.). Edmund Peel / Knjiga Meki uvez
common.buy 26.52 €
Badge JoAnn Guidry / Knjiga Meki uvez
common.buy 19.76 €
Take a Breath...Take a Moment J Sudoxe / Knjiga Meki uvez
common.buy 13.30 €
In the Course of Things Lawrence Cooper / Knjiga Meki uvez
common.buy 19.26 €
Puzzling Identities Stephen Adam Schwartz / Knjiga Tvrdi uvez
common.buy 54.66 €
Around Saegertown Joshua F. Sherretts / Knjiga Meki uvez
common.buy 19.46 €
When Darkness Comes J. H. Rhodes / Knjiga Meki uvez
common.buy 12.50 €
Crowd Design Florian Alexander Schmidt / Knjiga Tvrdi uvez
common.buy 50.73 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?