Logic Based Program Synthesis and Transformation
Subtitle: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: August 22, 2005
Language: eng
Format: Paperback
Number of pages: 279
ISBN-13: 9783540266556
Subjects: Computing and Information Technology; Logic; Computers; Computers - General Information; Computer Books: Languages; Logic Design; Programming - General; Computers / Logic Design; computational logic; constraint programming; formal methods; functional programming; imperative programming; logic program manipulation; program analysis; program syntesis; program transformation; Congresses; Logic programming
First sentence: Program refactoring is the process of systematically changing the structure of a program without changing its semantics.