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

Program Termination

Michael Codish:
Proving Termination with (Boolean) Satisfaction. 1-7
Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye:
Termination Analysis of Logic Programs Based on Dependency Graphs. 8-22
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

Program Transformation

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

Constraint Solving and Analysis

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

Software Engineering

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

Last update Sat May 25 18:45:23 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page