Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Normalization and Partial Evaluation of Functional Logic Programs

Björn Peemöller

Език

Английски език

Книга С твърди корици

Код Либристо: 16495853

Издателство Books on Demand, ноември 2016

The functional logic programming paradigm combines the two most important fields of declarative prog... Цялото описание

Код Либристо: 16495853

46 b

19.00 €

37.17 лв

Външен склад Изпращаме след 10-13 дни

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

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

waren Funker Wolfgang Buddrus

С меки корици

28.30 € 55.36 лв

Galilee Et l'Eglise, l'Histoire Et Le Roman Aubanel-P

С меки корици

22.16 € 43.33 лв

365 стихов на каждый день Александр Пушкин

С твърди корици

19.42 € 37.98 лв

Dirección por implicación (DPI) : el cambio estratégico para competir en la sociedad del conocimiento José Carlos Álvarez Fernández

С меки корици

42.30 € 82.74 лв

Bak Bana Medusa Torkil Damhaug

С меки корици

21.17 € 41.41 лв

Lettre A Tous Ceux Qui Scavent Entendre GUICHARD-J-F

С меки корици

14.56 € 28.48 лв

Heimliche Blicke. Bd.13 Wakoh Honna

С меки корици

8.31 € 16.26 лв

ISLA DEL DIA DE ANTES Umberto Eco

С меки корици

15.75 € 30.80 лв

The functional logic programming paradigm combines the two most important fields of declarative programming, namely functional and logic programming, in an integrated way to allow the concise notation of high-level programs. However, the variety of concepts and conciseness of programs may also impact their efficiency. In this work we employ the powerful optimization technique of partial evaluation to develop a fully automatic program optimizer, the so-called partial evaluator. In particular, we formalize the normalization of programs during compilation, establish a formal notation of the evaluation process, develop a formal partial evaluation scheme and prove its correctness and termination, and implement a working partial evaluator which shows impressive results.