Logic Based Program Synthesis and Transformation, 15 conf., LOPSTR 2005

This book constitutes the thoroughly refereed postproceedings of the
15th International Symposium on Logic Based Program Synthesis and
Transformation, LOPSTR 2005, held in London, UK in September 2005 in
conjunction with SAS 2005, the Symposium on Static Analysis.

The 10 revised full papers presented together with one invited talk were
carefully selected and revised from 33 submissions. The papers are
organized in topical sections on tools for program development, program
transformations, and software development and program analysis.