Get Free Shipping on orders over $79
Computer Program Synthesis Methodologies : Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 - Alan Biermann

Computer Program Synthesis Methodologies

Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981

By: Alan Biermann (Editor), G. Guiho (Editor)

Paperback | 8 December 2011

At a Glance

Paperback


$329.00

or 4 interest-free payments of $82.25 with

 or 

Ships in 5 to 7 business days

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.

You Can Find This Book In

More in Mathematics

Nelson WAmaths Mathematics Applications 12 : 1st Edition - Dion Alfonsi
The Infinite Game : From the bestselling author of Start With Why - Simon Sinek
Humble Pi : A Comedy of Maths Errors - Matt Parker
How to Win At Chess : The Ultimate Guide for Beginners and Beyond - Levy Rozman
The Maths Book : Big Ideas Simply Explained - DK

RRP $42.99

$33.99

21%
OFF
Nelson VicMaths 12 Foundation Maths : 1st Edition - Sue Thomson

RRP $98.95

$89.75

The Selfish Gene : 40th Anniversary Edition - Richard Dawkins

RRP $32.95

$26.99

18%
OFF
Algebra Workbook Grades 6-8 : Algebra - Kumon

RRP $24.99

$18.99

24%
OFF
The Mending of Broken Bones : A Modern Guide to Classical Algebra - Paul Lockhart
Grade 4 Geometry and Measurement : Kumon Math Workbooks - KUMON PUBLISHING
Nelson WAmaths Mathematics Applications : 11th Edition - Amanda Pettitt
Grade 4 Word Problems : Kumon Math Workbooks - KUMON PUBLISHING

RRP $16.99

$13.75

19%
OFF
Grade 3 Geometry and Measurement - KUMON PUBLISHING

RRP $16.99

$13.75

19%
OFF
Antifragile : Things That Gain from Disorder - Nassim Nicholas Taleb

RRP $27.99

$22.75

19%
OFF
Geometry : Grades 6 - 8 - Kumon Publishing

RRP $24.99

$18.99

24%
OFF

This product is categorised by