Abstract is missing.
- Proving Termination with (Boolean) SatisfactionMichael Codish. 1-7 [doi]
- Termination Analysis of Logic Programs Based on Dependency GraphsManh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye. 8-22 [doi]
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial EvaluationElvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla. 23-42 [doi]
- Towards a Normal Form for Mercury ProgramsFrançois Degrave, Wim Vanhoof. 43-58 [doi]
- Aggregates for CHR through Program TransformationPeter Van Weert, Jon Sneyers, Bart Demoen. 59-73 [doi]
- Preserving Sharing in the Partial Evaluation of Lazy Functional ProgramsSebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal. 74-89 [doi]
- Denotation by TransformationBernd Braßel, Jan Christiansen. 90-105 [doi]
- Generation of Rule-Based Constraint Solvers: Combined ApproachSlim Abdennadher, Ingi Sobhi. 106-120 [doi]
- A Scalable Inclusion Constraint Solver Using UnificationYe Zhang 0002, Flemming Nielson. 121-137 [doi]
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic ProgramsAmadeo Casas, Manuel Carro, Manuel V. Hermenegildo. 138-153 [doi]
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented ProgramsMario Méndez-Lojo, Jorge Navas, Manuel V. Hermenegildo. 154-168 [doi]
- Snapshot Generation in a Constructive Object-Oriented Modeling LanguageMauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi. 169-184 [doi]
- Synthesis of Data Views for Communicating ProcessesIman Poernomo. 185-200 [doi]
- Action Refinement in Process Algebra and Security IssuesAnnalisa Bossi, Carla Piazza, Sabina Rossi. 201-217 [doi]