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

Book intro:

Product Description: 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).

eBook Details
  • Author: Dominique Snyers
  • Publisher: Springer
  • ISBN: 9783540182177
  • Format: djvu
  • Size: 1 Mb
  • Language: English
  • Pages: N/A
  • Published: 1987
  • View: 40