Invited Talk |
Algebraic Specification and Program Development by Stepwise Refinement Extended Abstract / Donald Sannella |
Tutorials |
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency / Mireille Ducasse ; Laurence Roze |
Constraint Logic Programming Applied to Model Checking / Laurent Fribourg |
Software Development |
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic / Juliana Kuster Filipe ; Kung-Kiu Lau ; Mario Ornaghi ; Hirokazu Yatsu |
Analysis and Specialisation |
Infinite State Model Checking by Abstract Interpretation and Program Specialisation / Michael Leuschel ; Thierry Massart |
Mode Analysis Domains for Typed Logic Programs / Jan-Georg Smaus ; Patricia M. Hill ; Andy King |
Imperative Program Specialisation: An Approach Using CLP / Julio C. Peralta ; John P. Gallagher |
Specialising Finite Domain Programs Using Polyhedra / Jacob M. Howe |
Transformation |
Roles of Program Extension / Ralf Lammel ; Gunter Riedewald ; Wolfgang Lohmann |
Transformation of Left Terminating Programs / Annalisa Bossi ; Nicoletta Cocco ; Sandro Etalle |
Transformation Rules for Logic Programs with Goals as Arguments / Alberto Pettorossi ; Maurizio Proietti |
Making Mercury Programs Tail Recursive / Peter Ross ; David Overton ; Zoltan Somogyi |
The Replacement Operation for CCP Programs / Marco Bertolino ; Catuscia Palamidessi |
Verification |
Annotations for Prolog - A Concept and Runtime Handling / Marija Kulas |
Verification by Testing for Recursive Program Schemes / Daniel Le Metayer ; Valerie-Anne Nicolas ; Olivier Ridoux |
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs / German Puebla ; Francisco Bueno ; Manuel Hermenegildo |
Context-Moving Transformations for Function Verification / Jurgen Giesl |
Invited Talk |
Algebraic Specification and Program Development by Stepwise Refinement Extended Abstract / Donald Sannella |
Tutorials |
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency / Mireille Ducasse ; Laurence Roze |
Constraint Logic Programming Applied to Model Checking / Laurent Fribourg |
Software Development |