CW 625

Elvira Albert
Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)

Abstract

This book contains the papers presented at the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) held on September 18-20, 2012 in Leuven. LOPSTR 2012 is co-located with PPDP 2012, the 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming.

report.pdf (6.9M) / mailto: D. De Schreye, E. Albert