Logic-Based Program Synthesis and Transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers /

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

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR'99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computa...

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

• Invited Talk
• Algebraic Specification and Program Development by Stepwise Refinement
• Tutorials
• Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency
• Constraint Logic Programming Applied to Model Checking
• Software Development
• On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic
• Analysis and Specialisation
• Infinite State Model Checking by Abstract Interpretation and Program Specialisation
• Mode Analysis Domains for Typed Logic Programs
• Imperative Program Specialisation: An Approach Using CLP
• Specialising Finite Domain Programs Using Polyhedra
• Transformation
• Roles of Program Extension
• Transformation of Left Terminating Programs
• Transformation Rules for Logic Programs with Goals as Arguments
• Making Mercury Programs Tail Recursive
• The Replacement Operation for CCP Programs
• Verification
• Annotations for Prolog - A Concept and Runtime Handling
• Verification by Testing for Recursive Program Schemes
• Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs
• Context-Moving Transformations for Function Verification.