Logic-based Program Synthesis and Transformation: 9th International Workshop, Lopstr'99, Venice, Italy, September 22-24, 1999 Selected Papers - Lecture Notes in Computer Science

Marc Notes: Includes bibliographical references and index. Table of Contents: 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."Publisher Marketing: This text constitutes the refereed post-proceedings of the 9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'99, held in Venice, Italy, in September 1999. The book is divided into topical sections on software development, analysis and specialization, transformation, and verification.