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 |