This volume contains selected papers from LOPSTR 2003, the 13th
Inter- tional Symposium on Logic-Based Program Synthesis and
Transformation. The LOPSTR series is devoted to research in
logic-based program development. P- ticular topics of interest are
speci?cation, synthesis, veri?cation, transformation,
specialization, analysis, optimization, composition, reuse,
component-based so- ware development, agent-based software
development, software... more...