Logic Based Program Synthesis & Transformation
Edition: 1 edition
Publisher: Springer
Published: June 15, 2001
Language: eng
Format: Paperback
Number of pages: 183
ISBN-13: 9783540421276
Subjects: Artificial intelligence; Computer Programming; Logic Programming; Computers - Languages / Programming; Computers; Computer Books: General; Programming - General; Artificial Intelligence - General; General; Programming - Object Oriented Programming; Computers / Logic Design; Program analysis; computational logic; constraint programming; formal methods; functional programming; imperative programming; Congresses
First sentence: It is well known that formal proofs can be used for program synthesis and program verification, and this essentially depends on the availability of an information extraction mechanism allowing the capture in an uniform way of the implicit algorithmic content of a proof.