Preliminary Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009



The aim of the LOPSTR series is to stimulate and promote international research and
collaboration on logic-based program development. LOPSTR is open to contributions in
logic-based program development in any language paradigm. LOPSTR has a reputation
for being a lively, friendly forum for presenting and discussing work in progress.
The book contains the preliminary proceedings of the LOPSTR09 symposium. Formal
proceedings are produced only after the symposium so that authors can incorporate
feedback in the published papers. The proceedings of LOPSTR09 will be published in
the Lecture Notes in Computer Science series of Springer-Verlag.
LOPSTR09 is held in Coimbra, Portugal. It is co-located with PPDP 2009 (International
ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming)
and CSL 2009 (EACSL Annual Conference on Computer Science Logic). Previous
symposia were held in Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid,
Paphos, London, Venice, Manchester, Leuven, Stockholm, Utrecht, Pisa, Louvain-la-
Neuve, and Manchester (two years in row).
From the submitted papers, 16 high quality papers were selected for presentation at the
conference. These appear in this book. In addition, there is an invited talk by German
Vidal. The abstract of this talk also appears in this proceedings.


logic-based program development

TechReport Number


PDF File

Cited by

No citations found