Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

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

Dissertationsschrift

Език Английски езикАнглийски език
Книга С меки корици
Книга Lazy Evaluation: From natural semantics to a machine-checked compiler transformation Joachim Breitner
Код Либристо: 15210213
Издателство KIT Scientific Publishing, ноември 2015
In order to solve a long-standing problem with list fusion, a new compiler transformation, "Call Ari... Цялото описание
? points 78 b
32.20 €
62.97  лв
Външен склад Изпращаме след 8-11 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Musee de Peinture Et de Sculpture. Vol2 Rene Menard / Книга С меки корици
common.buy 18.40 € 35.98 лв
Death Note - Tome 3 Tsugumi Ohba / Книга Книга
common.buy 10.80 € 21.12 лв
LES MYTHES PROFESSIONNELS DES JOURNALISTES Le Bohec / Книга С меки корици
common.buy 45.38 € 88.75 лв
Le Monde fantastique des Arbres Thomas Micek / Книга С твърди корици
common.buy 26.05 € 50.94 лв
Изгодно
LA NATURALEZA PASATIEMPOS JUEGOS PEQUEÑI GILPIN REBECCA / Книга Книга
common.buy 4.80 € 9.39 лв
Zweiter Beitrag zur Ornithologie Westafrica's G. Hartlaub / Книга С меки корици
common.buy 10.80 € 21.12 лв
Epileptische Anfälle Kazimierz Karbowski / Книга С меки корици
common.buy 53.03 € 103.71 лв
Opowiem ci, mamo, co robią dinozaury Emilia Dziubak / Книга С твърди корици
common.buy 11.21 € 21.93 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Автор Joachim Breitner
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2016
Брой страници 501
Баркод 9783731505464
Код Либристо 15210213
Издателство KIT Scientific Publishing
Тегло 350
Размери 148 x 210 x 13

Категории

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Top
The Art Of Seduction Robert Greene / Книга С меки корици
common.buy 18.29 € 35.78 лв
ALL FOR THE LOVE OF MAX Joyce Ann Lahr / Книга С меки корици
common.buy 13.59 € 26.58 лв
Messages to Heal the Soul A Sacred Journey of Light, Love and Divine Guidance Sorina Vizitiu / Книга С меки корици
common.buy 10.33 € 20.21 лв
Synopsis Of American Wasps: Solitary Wasps (1875) Henri De Saussure / Книга С твърди корици
common.buy 51.48 € 100.68 лв
Forgetting Jesus: Exposing Postmodern, Christless Evangelism Timothy B Gallagher / Книга С меки корици
common.buy 10.28 € 20.11 лв
Memorial Record in Memory of Honourable Increase Sumner of Great Barrington, Mass. Charles Allen Sumner / Книга С меки корици
common.buy 19.22 € 37.60 лв
Referring Expressions, Pragmatics, and Style Kate Scott / Книга С твърди корици
common.buy 145.19 € 283.97 лв
Mad River Justin Bigos / Книга С меки корици
common.buy 12.81 € 25.06 лв
Подготвяме
THE LAST DAYS OF CHARLES I GRAHAM EDWARDS / Книга С меки корици
common.buy 10.38 € 20.31 лв
Developing Motor and Social Skills Christopher Denning / Книга С твърди корици
common.buy 76.60 € 149.81 лв
Cultural Transformation and Religious Practice Graham Ward / Книга С меки корици
common.buy 70.86 € 138.59 лв
Chris Van Allsburg Chris Bowman / Книга С твърди корици
common.buy 16.69 € 32.64 лв
Judge Not, a Poem, on Christian Charity. (Minor Poems, Odes, Etc.). Edmund Peel / Книга С меки корици
common.buy 26.62 € 52.05 лв
Badge JoAnn Guidry / Книга С меки корици
common.buy 20.83 € 40.73 лв
Take a Breath...Take a Moment J Sudoxe / Книга С меки корици
common.buy 13.38 € 26.17 лв
In the Course of Things Lawrence Cooper / Книга С меки корици
common.buy 19.28 € 37.70 лв
Puzzling Identities Stephen Adam Schwartz / Книга С твърди корици
common.buy 54.79 € 107.15 лв
Around Saegertown Joshua F. Sherretts / Книга С меки корици
common.buy 22.07 € 43.16 лв
When Darkness Comes J. H. Rhodes / Книга С меки корици
common.buy 13.18 € 25.77 лв
Crowd Design Florian Alexander Schmidt / Книга С твърди корици
common.buy 56.13 € 109.78 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?