12. LOPSTR 2002: Madrid, Spain

Michael Leuschel (Ed.): Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers. Lecture Notes in Computer Science 2664 Springer 2003, ISBN 3-540-40438-4

@proceedings{DBLP:conf/lopstr/2002,
  editor    = {Michael Leuschel},
  title     = {Logic Based Program Synthesis and Tranformation, 12th International
               Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised
               Selected Papers},
  booktitle = {LOPSTR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2664},
  year      = {2003},
  isbn      = {3-540-40438-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Debugging and Types

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract Diagnosis of Functional Programs. 1-16
Francisco Gutiérrez, Blas C. Ruiz:
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. 17-31

Tabling and Constraints

Slim Abdennadher, Christophe Rigotti:
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming. 32-47
Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano:
Translating Datalog-Like Optimization Queries into ILOG Programs. 48-49
Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting:
Tabling Structures for Bottom-Up Logic Programming. 50-51

Abstract Interpretation

Gianluca Amato, Francesca Scozzari:
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. 52-70
Axel Simon, Andy King, Jacob M. Howe:
Two Variables per Linear Inequality as an Abstract Domain. 71-89
Julio C. Peralta, John P. Gallagher:
Convex Hull Abstractions in Specialization of CLP Programs. 90-108
Nancy Mazur, Gerda Janssens, Wim Vanhoof:
Collecting Potential Optimisations. 109-110

Program Refinement

Maribel Fernández, Paula Severi:
An Operational Approach to Program Extraction in the Calculus of Constructions. 111-125
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper:
Refinement of Higher-Order Logic Programs. 126-143
Rudolf Berghammer:
A Generic Program for Minimal Subsets with Applications. 144-157

Verification

Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan:
Justification Based on Program Transformation. 158-159
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Combining Logic Programs and Monadic Second Order Logics by Program Transformation. 160-181
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina:
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. 182-198
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
A Proof System for Information Flow Security. 199-218

Partial Evaluation

Germán Vidal:
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. 219-237
Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe:
A Fixed Point Semantics for Logic Programs Extended with Cuts. 238-257
Stefan Gruner:
Abstract Partial Deduction Challenged. 258-259

Rewriting and Object-Oriented Development

Kung-Kiu Lau, Mario Ornaghi:
Towards Correct Object-Oriented Design Frameworks in Computational Logic. 260-261
Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
Mapping Modular SOS to Rewriting Logic. 262-277
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
Program Synthesis Based on the Equivalent Transformation Computation Model. 278-279

Last update Tue Feb 14 04:07:09 2012 CET by the DBLP Team —

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