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