This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.
The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.
Author(s): MarÃa Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.)
Series: Lecture Notes in Computer Science 2664
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 279
Tags: Logics and Meanings of Programs; Programming Techniques; Mathematical Logic and Formal Languages
Abstract Diagnosis of Functional Programs....Pages 1-16
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene....Pages 17-31
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming....Pages 32-47
Translating Datalog-Like Optimization Queries into ILOG Programs....Pages 48-49
Tabling Structures for Bottom-Up Logic Programming....Pages 50-51
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties....Pages 52-70
Two Variables per Linear Inequality as an Abstract Domain....Pages 71-89
Convex Hull Abstractions in Specialization of CLP Programs....Pages 90-108
Collecting Potential Optimisations....Pages 109-110
An Operational Approach to Program Extraction in the Calculus of Constructions....Pages 111-125
Refinement of Higher-Order Logic Programs....Pages 126-143
A Generic Program for Minimal Subsets with Applications....Pages 144-157
Justification Based on Program Transformation....Pages 158-159
Combining Logic Programs and Monadic Second Order Logics by Program Transformation....Pages 160-181
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers....Pages 182-198
A Proof System for Information Flow Security....Pages 199-218
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation....Pages 219-237
A Fixed Point Semantics for Logic Programs Extended with Cuts....Pages 238-257
Abstract Partial Deduction Challenged....Pages 258-259
Towards Correct Object-Oriented Design Frameworks in Computational Logic....Pages 260-261
Mapping Modular SOS to Rewriting Logic....Pages 262-277
Program Synthesis Based on the Equivalent Transformation Computation Model....Pages 278-279
