Logic Based Program Synthesis and Transformation

Debugging and Types.- Abstract Diagnosis of Functional Programs.- A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.- Tabling and Constraints.- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming.- Translating Datalog-Like Optimization Queries into ILOG Programs.- Tabling Structures for Bottom-Up Logic Programming.- Abstract Interpretation.- A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.- Two Variables per Linear Inequality as an Abstract Domain.- Convex Hull Abstractions in Specialization of CLP Programs.- Collecting Potential Optimisations.- Program Refinement.- An Operational Approach to Program Extraction in the Calculus of Constructions.- Refinement of Higher-Order Logic Programs.- A Generic Program for Minimal Subsets with Applications.- Verification.- Justification Based on Program Transformation.- Combining Logic Programs and Monadic Second Order Logics by Program Transformation.- Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers.- A Proof System for Information Flow Security.- Partial Evaluation.- Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.- A Fixed Point Semantics for Logic Programs Extended with Cuts.- Abstract Partial Deduction Challenged.- Rewriting and Object-Oriented Development.- Towards Correct Object-Oriented Design Frameworks in Computational Logic.- Mapping Modular SOS to Rewriting Logic.- Program Synthesis Based on the Equivalent Transformation Computation Model.