Logic-Based Program Synthesis and Transformation
Subtitle: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: April 19, 2007
Language: eng
Format: Paperback
Number of pages: 237
ISBN-13: 9783540714095
Subjects: Computer Programming; Computers; Computers - General Information; Computer Books: General; Logic; Logic Design; Programming - General; Computers / Logic Design; abstract machines; algorithmic debugging; computational logic; constraint programming; formal methods; functional programming; logic program manipulation; mult-agent systems; nonmonotonic reasoning; Congresses; Logic programming