Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
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 t...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2664 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic based program synthesis and transformation, 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised selected papers, Michael Leuschel (ed.), 2003, Berlin, Springer, 1 vol. (X-279 p.), Lecture notes in computer science, 3-540-40438-4 • Logic Based Program Synthesis and Transformation, Texte imprimé, 9783662199800 |
Taula de continguts:
- 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.