Springer
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Product Code:
9783540182177
ISBN13:
9783540182177
Condition:
New
$61.47
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
$61.47
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 (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).
| Author: Dominique Snyers |
| Publisher: Springer |
| Publication Date: Aug 12, 1987 |
| Number of Pages: 125 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540182179 |
| ISBN-13: 9783540182177 |
Related Products
Sale 7%
