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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Leuschel, M. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2664
• Θέματα: Computer logic.; Computer programming.; Mathematical logic.; Logics and Meanings of Programs.; Science, Humanities and Social Sciences, multidisciplinary.; Programming Techniques.; Mathematical Logic and Formal Languages.

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...

Πίνακας περιεχομένων:

• 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.