19. LOPSTR 2009:
Coimbra,
Portugal
Danny De Schreye (Ed.):
Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers.
Lecture Notes in Computer Science 6037 Springer 2010, ISBN 978-3-642-12591-1 
- Germán Vidal:
Towards Scalable Partial Evaluation of Declarative Programs.
1-4
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Deciding Full Branching Time Logic by Program Transformation.
5-21
- Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe:
A Transformational Approach for Proving Properties of the CHR Constraint Store.
22-36
- Peter Schneider-Kamp, Jürgen Giesl, Manh Thang Nguyen:
The Dependency Triple Framework for Termination of Logic Programs.
37-51
- José Iborra, Naoki Nishida, Germán Vidal:
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.
52-66
- Marcin Czenko, Sandro Etalle:
LP with Flexible Grouping and Aggregates Using Modes.
67-81
- Hirohisa Seki:
On Inductive and Coinductive Proofs via Unfold/Fold Transformations.
82-96
- Richard Min, Gopal Gupta:
Coinductive Logic Programming with Negation.
97-112
- Susumu Nishimura:
Refining Exceptions in Four-Valued Logic.
113-127
- François Degrave, Tom Schrijvers, Wim Vanhoof:
Towards a Framework for Constraint-Based Test Case Generation.
128-142
- Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk:
Using Rewrite Strategies for Testing BUpL Agents.
143-157
- Carl Friedrich Bolz, Michael Leuschel, Armin Rigo:
Towards Just-In-Time Partial Evaluation of Prolog.
158-172
- Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo:
Program Parallelization Using Synchronized Pipelining.
173-187
- María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
Defining Datalog in Rewriting Logic.
188-204
Last update Fri May 25 08:25:32 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
