Logic Based Program Synthesis and Transformation
Subtitle: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2004
Language: eng
Format: Paperback
Number of pages: 233
ISBN-13: 9783540221746
Subjects: Computer Programming; Programming - General; Computers - General Information; Computers; Computer Books: General; Computer Science; Logic Design; Computers / Logic Design; Logic; Congresses; Congráes; Logic programming; Programmation logique
First sentence: Program specialisation aims at improving the overall performance of programs by performing source to source transformations.