Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981: 95 (Nato Science Series C:, 95) - Image 1

Price loading...

Springer Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981: 95 (Nato Science Series C:, 95)

Name: Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981: 95 (Nato Science Series C:, 95)
Brand: Springer

Mathematics

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of a series of tabular forms and a series of processing paths through which data flows. The design and implementation of such languages are examined in chapters by P. GOLDBERG. Another extension to traditional methods is made possible by systems designed to automatically handle low level flow-of control decisions. All the above higher level languages do this implicitly with their built in operators. PROLOG is a language which does this with a theorem proving mechanism employing primarily unification and backtracking. The programmer specifies the problem to be solved with a set of formal logic statements including a theorem to be proved. The theorem proving system finds a way to combine the axioms to prove the theorem, and in the process, it completes the desired calculation. H. GAllAIRE has contributed a chapter describing PROLOG giving many examples of its usage.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9400970218
Category: Books > Subjects > Science, Nature & Maths > Mathematics
Domain: Amazon UK
Release Date: 08 December 2011
Listed Since: 21 December 2012

Barcode

No barcode data available

Springer Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981: 95 (Nato Science Series C:, 95)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Clause and Effect: Prolog Programming for the Working Programmer

Logic for Applications (Texts in Computer Science)

An Introduction to Natural Language Processing Through Prolog (Learning About Language)

Prolog: The Standard: Reference Manual

An Introduction to Natural Language Processing Through Prolog (Learning about Language)

Prolog Versus You: An Introduction to Logic Programming

Springer - Logics of Specification Languages Monograph

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

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

Programming in Prolog: Using The Iso Standard

The Implementation of Prolog (Princeton Legacy Library) (Princeton Series in Computer Science)

Logic Programming: A Classified Bibliography

A Programming Approach to Computability (Monographs in Computer Science)

Springer Parallel and Constraint Logic Programming Book 876

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Prolog and its Applications: A Japanese perspective

Language Computability and Formal Language Theory

Prolog: The Next 50 Years: 13900 (Lecture Notes in Computer Science, 13900)

The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)

Foundations and Applications of MIS: A Model Theory Approach: 24 (IFSR International Series in Systems Science and Systems Engineering, 24)

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

Formal Language: A Practical Introduction

Formal Languages and Compilation (Texts in Computer Science)

Proof and System-Reliability: v. 62 (NATO Science Series II)