Logic Based Program Synthesis and Transformation
Subtitle: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: May 5, 2006
Language: eng
Format: Paperback
Number of pages: 179
ISBN-13: 9783540326540
Subjects: Computer Programming; Logic; Computers; Computers - General Information; Computer Books: Languages; Logic Design; Programming - General; Computers / Logic Design; computational logic; constraint programming; formal methods; functional programming; logic program manipulation; logic programming; modular programming; program analysis; program synthesis; program transformation; program verification; programming theory