LOPSTR02 List of Accepted papers

A Debugging Scheme for Functional Programs M. Alpuente, M. Comini, S. Escobar, M. Falaschi, S. Lucas
A Cut-free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene Francisco Gutiérrez, Blas Ruiz
Constraint Solver Synthesis using Tabled Resolution for Constraint Logic Programming Slim Abdennadher, Christophe Rigotti
Translation Datalog-like Optimization Queries into ILOG Programs I. Trubitsyna, G. Greco, S. Greco, E. Zumpano
Optimising Tabling Structures for Bottom-up Logic Programming Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting
A general framework for variable aliasing: Towards optimal operators for sharing properties Gianluca Amato, Francesca Scozzari
Two Variables per Linear Inequality as an Abstract Domain A. Simon, A. King, J. M. Howe
An operational approach to program extraction in the Calculus of Constructions Maribel Fernandez, Paula Severi
Refinement of Higher-order Logic Programs R. Colvin, I. Hayes, D. Hemer, P. Strooper
A Generic Program for Minimal Subsets With Applications Rudolf Berghammer
Verification in ACL2 of a generic framework to synthesize SAT-provers Francisco J. Martín Mateos
A Proof System for Information Flow Security Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
Convex Hull Abstractions in Specialisation of CLP Programs Julio C. Peralta, John P. Gallagher
Collecting Potential Optimisations Nancy Mazur, Gerda Janssens, Wim Vanhoof
Forward Slicing by Partial Evaluation German Vidal
Bottom-up Transformation for Programs with Procedural Control Wim Vanhoof, Maurice Bruynooghe
Abstract Partial Deduction Challenged Stefan Gruner
Justification based on Program Transformation Hai-Feng Guo, C.R. Ramakrishnan, I.V. Ramakrishnan
Combining Logic Programs and Monadic Second Order Logics by Program Transformation F. Fioravanti, A. Pettorossi, M. Proietti
Correct Object-Oriented Design Frameworks in Computational Logic Kung-Kiu Lau, M. Ornaghi
Mapping Modular SOS to Rewriting Logic Christiano de O. Braga, E. Hermann Husler, José Meseguer, Peter D. Mosses
Generation of Correct Specialized Rewriting Rules by Meta-Computation and Execution-Part Construction Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike