Implementing Functional Logic Programs

Name: Implementing Functional Logic Programs
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 9783838132754
Price: 383.67 RON
Availability: InStock

by Translation into Purely Functional Programs

Autor: Bernd Braßel

Limbă:

Legare: Carte broșată

Editura: Sudwestdeutscher Verlag Fur Hochschulschriften AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

383.67 lei

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

Informații despre carte

Autor

Bernd Braßel

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

200

EAN

9783838132754

ISBN

3838132750

Enbook ID

06890851

Editura

Sudwestdeutscher Verlag Fur Hochschulschriften AG

Greutate

299

Dimensiuni

152 x 229 x 12

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Implementing Functional Logic Programs

by Translation into Purely Functional Programs

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și