From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions - Couverture souple

Snyers, Dominique; Thayse, Andre

 
9783540182177: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Couverture souple
ISBN 10 : 3540182179 ISBN 13 : 9783540182177
Editeur : Springer, 2008

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
3540182179
ISBN 13 
9783540182177
Reliure
Broché
Nombre de pages
134
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

9780387182179: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

Edition présentée

ISBN 10 :  0387182179 ISBN 13 :  9780387182179
Editeur : Springer Verlag, 1987
Couverture souple