1
Logic-Based Program Synthesis and Transformation [E-Book] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
2
Functional and Logic Programming [E-Book] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
3
Static analysis [E-Book] : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /