From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions: 271 (Lecture Notes in Computer Science) - Softcover

Snyers, Dominique; Thayse, Andre

Softcover

ISBN 10: 0387182179 ISBN 13: 9780387182179

Publisher: Springer Verlag, 1987

Synopsis

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).

Edition details

• Publisher: Springer Verlag
• Publication date: 1987
• ISBN 10: 0387182179
• ISBN 13: 9780387182179
• Binding: Paperback
• Language: English