| Title | Authors |
| 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 |