Stock Image

Computer Program Synthesis Methodologies

Alan Biermann

0 ratings by Goodreads
ISBN 10: 9027715041 / ISBN 13: 9789027715043
Published by Springer Dez 1982, 1982
New Condition: Neu
Buy New
List Price: 349.00
Price: £ 247.94 Convert Currency
Shipping: £ 15.30 From Germany to U.S.A. Destination, Rates & Speeds
Add to basket

Offered By

Agrios-Buch
Bergisch Gladbach, Germany

5-star rating

AbeBooks Seller Since 11 January 2012

About this Item

Neuware - 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. 374 pp. Englisch. Bookseller Inventory # 9789027715043

Quantity Available: 1

Ask Seller a Question

Bibliographic Details

Title: Computer Program Synthesis Methodologies

Publisher: Springer Dez 1982

Publication Date: 1982

Binding: Buch

Book Condition: Neu

About this title

Synopsis:

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.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Terms of Sale:

Allgemeine Geschäftsbedingungen (abebooks.de)

der Firma Agrios Buch- und Medienversand UG e.K. ,Geschäftsführer Ludwig Meier, De-Gasperi-Str. 8, 51469 Bergisch Gladbach nachstehend als Verkäufer bezeichnet.

§ 1 Allgemeines, Begriffsbestimmungen

(1) Der Verkäufer bietet unter dem Nutzernamen Agrios Buch unter der Plattform abebooks.de insbesondere Bücher an. Die folgenden Allgemeinen Geschäftsbedingungen (AGB) gelten für die Geschäftsbeziehung zwischen dem Verkäufer und dem Kunden in ihrer zum Ze...

More Information
Shipping Terms:

Der Versand ins Ausland findet IMMER mit DHL statt. Auch nach Österreich verschicken wir nur mit DHL! Daher Standardversand == Luftpost!


Detailed Seller Information

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check PayPal Invoice Bank/Wire Transfer