From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

by André Thayse and Dominique Snyers

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms...

• Format: Paperback
• Language: English
• ISBN: 3540182179
• ISBN13: 9783540182177
• Release Date: August 1987
• Publisher: Springer
• Length: 125 Pages
• Weight: 0.44 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"