LOPSTR 2011 Accepted Papers
Hirohisa Seki.
Proving Properties of Co-logic Programs by Unfold/Fold Transformations
Pedro Cabalar and Stephane Demri.
Automata-based Computation of Temporal Equilibrium Models
Romain Demeyer and Wim Vanhoof.
Proper Granularity for Atomic Sections in Concurrent Programs
Wim Vanhoof.
On the partial deduction of non-ground meta-interpreters
Céline Dandois and Wim Vanhoof.
Clones in logic programs and how to detect them
Giovanni Bacci, Marco Comini, Marco A. Feliú and Alicia Villanueva.
Automatic Synthesis of Specifications for Curry Programs - Extended Abstract
Nik Sultana.
Work in progress: A prototype refactoring tool based on a mechanically-verified core