Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Normalization and Partial Evaluation of Functional Logic Programs

Björn Peemöller

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 16495853

Nakladatelství Books on Demand, listopad 2016

The functional logic programming paradigm combines the two most important fields of declarative prog... Celý popis

Libristo kód: 16495853

41 b

410 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

waren Funker Wolfgang Buddrus

Brožovaná

610 Kč

Bak Bana Medusa Torkil Damhaug

Brožovaná

461 Kč

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

Pevná

444 Kč

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

Brožovaná

975 Kč

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

Brožovaná

469 Kč

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

Brožovaná

336 Kč

Heimliche Blicke. Bd.13 Wakoh Honna

Brožovaná

178 Kč

ISLA DEL DIA DE ANTES Umberto Eco

Brožovaná

362 Kč

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.