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

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