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
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
