Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Implementing Functional Logic Programs

Name: Implementing Functional Logic Programs
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 06890851
Price: 27597 HUF
Availability: InStock
Author: Bernd Braßel
ISBN: 9783838132754

by Translation into Purely Functional Programs

Bernd Braßel

Language

English

Book Paperback

Libristo code: 06890851

Publishers Sudwestdeutscher Verlag Fur Hochschulschriften AG, May 2012

The structure and components of the first programming languages were dictated by the architecture of... Full description

Libristo code: 06890851

188 b

27 597 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Das Liebesleben eines deutschen Jünglings Arthur Zapp

Hardback

16 930 Ft

EL MONITOR DE LOS MASONES O ILUSTRACIONES SOBRE LA MASONERIA SMITH WEBB

Paperback

9 803 Ft

Ciencias experimentales CIFUENTES

Paperback

16 472 Ft

A Mézga család - puhatáblás Rigó Béla

Paperback

2 846 Ft

Le Comédien Octave Mirbeau

Hardback

10 288 Ft

Le Grimoire d'Elfie - vol. 05 - histoire complète

Hardback

8 074 Ft

Le laboratoire de fermentation Burel

Paperback

8 135 Ft

Das Wohnmobil Reisebuch Schweden Martin Wein

Hardback

11 753 Ft

Tolstostennye Kristallizatory Mashin Nepreryvnogo Lit'ya Zagotovok Alla Gerasimova

Paperback

21 265 Ft

Padiatrische Pneumologie A. Fenner

Paperback

20 447 Ft

Modelos basados en copulas discretas Luis Carlos Pérez Ruiz

Paperback

13 528 Ft

Protocoles Temps R el Critique Pour Les R seaux Locaux Industriels Sofiane Ouni

Paperback

20 401 Ft

Urlaub bekamen nur die Bauern Franz Bürgi

Hardback

6 461 Ft

Pertinax und die Markomannenkriege Martin Homburg

Paperback

6 637 Ft

Kundenbindung durch Bonusprogramme Gerald Musiol

Hardback

18 233 Ft

The structure and components of the first programming languages were dictated by the architecture of computers. It was the human mind which had to bend to the peculiarities of the machine. When basic technical problems were solved a reverse current began to get stronger. There began a search for formalisms which would allow to program computers on a high and expressive level of abstraction. One effect of the search was the birth of those programming languages which we call declarative. From the beginning there have been two main streams in the field of declarative programming: functional programming and logic programming. A third stream tried to unify these paradigms and we call this stream functional logic programming. This work presents an approach to implement high level functional logic programming languages by translating them to purely functional ones. The translation fully preserves the laziness of the original declarations and makes use of the sharing provided by the target language. The work provides a proof of soundness for the core concepts as well as demonstrations for the practical relevance of the approach.