Kniha Implementing Functional Logic Programs Bernd Braßel

Implementing Functional Logic Programs

by Translation into Purely Functional Programs

Autor: Bernd Braßel
Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 571
The structure and components of the first programming languages were dictated by the architecture of...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2012
Stránek
200
EAN
9783838132754
ISBN
3838132750
Enbook ID
06890851
Hmotnost
299
Rozměry
152 x 229 x 12

Kompletní popis

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.

Mohlo by vás zajímat

4 818

Phobic Geographies

Dr. Joyce Davidson
1 531

EVERY MAN HIS CHANCE

MATILDA WOODS STONE
728

Emptiness

Guy Armstrong
442

The Quilt

Gary Paulsen
157
694

Myddleton Pomfret. a Novel.

William Harrison Ainsworth
505
5 505
403
377
453

Zákaznicí kteří koupili tuto knihu koupili také

Le Comédien

Octave Mirbeau
600
1 178
770
369
1 048