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

Dominique Snyers; André Thayse

ISBN 10: 0387182179 / ISBN 13: 9780387182179

Published by Springer Verlag

About this Item

Good. Seller Inventory # D8S0-3-M-0387182179-5

Bibliographic Details

Title: From Logic Design to Logic Programming: ...

Publisher: Springer Verlag

Binding: paperback

Condition: Good

Book Type: book

About this title

Synopsis:

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic 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).