Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Normalization and Partial Evaluation of Functional Logic Programs

Björn Peemöller

Language

English

Book Hardback

Libristo code: 16495853

Publishers Books on Demand, November 2016

The functional logic programming paradigm combines the two most important fields of declarative prog... Full description

Libristo code: 16495853

46 b

18.93 €

37.02 лв

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

waren Funker Wolfgang Buddrus

Paperback

28.18 € 55.11 лв

Philosophieren im Sachunterricht. Eine Methode mit Chancen und Grenzen?

Paperback

15.17 € 29.67 лв

La fin des cacahou?tes Biarnès

Paperback

12.59 € 24.63 лв

Malé kroky Slová neuvedený autor

Board book

4.93 € 9.65 лв

De sm? sp?gelser i skoven

Hardback

21.64 € 42.33 лв

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

Paperback

41.91 € 81.96 лв

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

Hardback

19.33 € 37.81 лв

Superbes. Polacy w kampaniach 1813 i 1814 roku Marcin Baranowski

Hardback

32.60 € 63.76 лв

Cours Elementaire de Droit Civil Francais, Conforme Au Programme Des Facultes de Droit. 2e Edition VIGIE-A

Paperback

43.81 € 85.68 лв

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

Paperback

21.95 € 42.94 лв

Bak Bana Medusa Torkil Damhaug

Paperback

21.09 € 41.24 лв

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

Paperback

14.50 € 28.35 лв

Males de cabeza FRAN ALONSO

Paperback

24.06 € 47.06 лв

Heimliche Blicke. Bd.13 Wakoh Honna

Paperback

8.22 € 16.08 лв

ISLA DEL DIA DE ANTES Umberto Eco

Paperback

15.63 € 30.57 лв

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.