Implementing Functional Logic Programs: by Translation into Purely Functional Programs - Image 1

£70.00

Südwestdeutscher Verlag für Hochschulschriften Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Functional Programming

Price data last checked 57 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 34 days • 34 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 34 days • 1 price levels

Days at Price

Price Analysis

Most common price: £70 (34 days, 100.0%)

Price range: £70 - £70

Price levels: 1 different prices over 34 days

Description

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.

Product Specifications

Brand: Südwestdeutscher Verlag für Hochschulschriften
Format: Paperback
ASIN: 3838132750
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Functional Programming
Domain: Amazon UK
Release Date: 30 August 2012
Listed Since: 01 September 2012

Barcode

No barcode data available

Südwestdeutscher Verlag für Hochschulschriften Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Logic for Applications (Texts in Computer Science)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Formal Language: A Practical Introduction

Formal Languages and Compilation (Texts in Computer Science)

Functional Approach to Programming

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Pattern Calculus: Computing with Functions and Structures

Pattern Calculus: Computing with Functions and Structures

Language Computability and Formal Language Theory

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Compiler Design: Analysis and Transformation

Compiler Design: Analysis and Transformation

Programming Language Implementation: A Practical Introduction with Python

Introduction to Programming Languages

Springer - Logics of Specification Languages Monograph

Springer Programming Language Design and Implementation Book

Mathematics in Programming

Reasoning About Program Transformations: Imperative Programming and Flow of Data

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Logic and Language Models for Computer Science: Third Edition

Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)