17. LOPSTR 2007: Kongens Lyngby, Denmark

Andy King (Ed.): Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4915 Springer 2008, ISBN 978-3-540-78768-6 BibTeX

Program Termination

Michael Codish:
Proving Termination with (Boolean) Satisfaction. 1-7
Electronic Edition (link) BibTeX
Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye:
Termination Analysis of Logic Programs Based on Dependency Graphs. 8-22
Electronic Edition (link) BibTeX
Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla:
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. 23-42
Electronic Edition (link) BibTeX

Program Transformation

François Degrave, Wim Vanhoof:
Towards a Normal Form for Mercury Programs. 43-58
Electronic Edition (link) BibTeX
Peter Van Weert, Jon Sneyers, Bart Demoen:
Aggregates for CHR through Program Transformation. 59-73
Electronic Edition (link) BibTeX
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal:
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. 74-89
Electronic Edition (link) BibTeX
Bernd Braßel, Jan Christiansen:
Denotation by Transformation. 90-105
Electronic Edition (link) BibTeX

Constraint Solving and Analysis

Slim Abdennadher, Ingi Sobhi:
Generation of Rule-Based Constraint Solvers: Combined Approach. 106-120
Electronic Edition (link) BibTeX
Ye Zhang, Flemming Nielson:
A Scalable Inclusion Constraint Solver Using Unification. 121-137
Electronic Edition (link) BibTeX
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. 138-153
Electronic Edition (link) BibTeX
Mario Méndez-Lojo, Jorge Navas, Manuel V. Hermenegildo:
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. 154-168
Electronic Edition (link) BibTeX

Software Engineering

Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi:
Snapshot Generation in a Constructive Object-Oriented Modeling Language. 169-184
Electronic Edition (link) BibTeX
Iman Poernomo:
Synthesis of Data Views for Communicating Processes. 185-200
Electronic Edition (link) BibTeX
Annalisa Bossi, Carla Piazza, Sabina Rossi:
Action Refinement in Process Algebra and Security Issues. 201-217
Electronic Edition (link) BibTeX