18. LOPSTR 2008: Valencia, Spain

Michael Hanus (Ed.): Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5438 Springer 2009, ISBN 978-3-642-00514-5 BibTeX

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang:
Space Invading Systems Code. 1-3
Electronic Edition (link) BibTeX
Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla:
Test Data Generation of Bytecode by CLP Partial Evaluation. 4-23
Electronic Edition (link) BibTeX
María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda:
A Modular Equational Generalization Algorithm. 24-39
Electronic Edition (link) BibTeX
Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal:
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. 40-54
Electronic Edition (link) BibTeX
Gourinath Banda, John P. Gallagher:
Analysis of Linear Hybrid Systems in CLP. 55-70
Electronic Edition (link) BibTeX
François Degrave, Tom Schrijvers, Wim Vanhoof:
Automatic Generation of Test Inputs for Mercury. 71-86
Electronic Edition (link) BibTeX
Emanuel Kitzelmann:
Analytical Inductive Functional Programming. 87-102
Electronic Edition (link) BibTeX
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
The MEB and CEB Static Analysis for CSP Specifications. 103-118
Electronic Edition (link) BibTeX
Michael Leuschel, Germán Vidal:
Fast Offline Partial Evaluation of Large Logic Programs. 119-134
Electronic Edition (link) BibTeX
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura:
An Inference Algorithm for Guaranteeing Safe Destruction. 135-151
Electronic Edition (link) BibTeX
Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher:
From Monomorphic to Polymorphic Well-Typings and Beyond. 152-167
Electronic Edition (link) BibTeX
Hirohisa Seki:
On Negative Unfolding in the Answer Set Semantics. 168-184
Electronic Edition (link) BibTeX