Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers, Volume 12

Front Cover
Springer Science & Business Media, Jun 18, 2003 - Computers - 279 pages
0 Reviews

 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.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A CutFree Sequent Calculus for Pure Type Systems Verifying the Structural Rules of GentzenKleene
17
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming
32
Translating DatalogLike Optimization Queries into ILOG Programs
48
Tabling Structures for BottomUp Logic Programming
50
Towards Optimal Operatorsfor Sharing Properties
52
Two Variables per Linear Inequalityas an Abstract Domain
71
Convex Hull Abstractions in Specialization of CLP Programs
90
Collecting Potential Optimisations
109
Combining Logic Programs and Monadic Second Order Logics by Program Transformation
160
Verification in ACL2 of a Generic Framework to Synthesize SATProvers
182
A Proof System for Information Flow Security
199
Forward Slicing of Multiparadigm Declarative Programs Based on Partial Evaluation
219
A Fixed Point Semanticsfor Logic Programs Extended with Cuts
238
Abstract Partial Deduction Challenged Summary
258
Towards Correct ObjectOriented Design Frameworks in Computational Logic Extended Abstract
260
Mapping Modular SOS to Rewriting Logic
262

An Operational Approach to Program Extraction in the Calculus of Constructions
111
Refinement of HigherOrder Logic Programs
126
A Generic Program for Minimal Subsets with Applications
144
Justification Based on Program Transformation Extended Abstract
158
Program Synthesis Based on the Equivalent Transformation Computation Model
278
Author Index
280
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information