From Logic Design to Logic Programming 1

Data & IT

From Logic Design to Logic Programming

Dominique Snyers • Andre Thayse

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

125 sidor
1987

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

Författare: Dominique Snyers, Andre Thayse
Format: Pocket/Paperback
ISBN: 9783540182177
Språk: Engelska
Antal sidor: 125
Utgivningsdatum: 1987-08-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K