default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th LOPSTR 1999: Venezia, Italy
- Annalisa Bossi:
Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers. Lecture Notes in Computer Science 1817, Springer 2000, ISBN 3-540-67628-7
Invited Talk
- Donald Sannella
:
Algebraic Specification and Program Development by Stepwise Refinement. 1-9
Tutorials
- Mireille Ducassé, Laurence Rozé:
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. 10-29 - Laurent Fribourg:
Constraint Logic Programming Applied to Model Checking. 30-41
Software Development
- Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu:
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. 42-61
Analysis and Specialisation
- Michael Leuschel, Thierry Massart:
Infinite State Model Checking by Abstract Interpretation and Program Specialisation. 62-81 - Jan-Georg Smaus, Patricia M. Hill, Andy King:
Mode Analysis Domains for Typed Logic Programs. 82-101 - Julio C. Peralta, John P. Gallagher:
Imperative Program Specialisation: An Approach Using CLP. 102-117 - Jacob M. Howe, Andy King:
Specialising Fininte Domain Programs Using Polyhedra. 118-135
Transformation
- Ralf Lämmel, Günter Riedewald, Wolfgang Lohmann:
Roles of Program Extension. 136-155 - Annalisa Bossi, Nicoletta Cocco, Sandro Etalle:
Transformation of Left Terminating Programs. 156-175 - Alberto Pettorossi, Maurizio Proietti:
Transformation Rules for Logic Programs with Goals as Arguments. 176-195 - Peter Ross, David Overton, Zoltan Somogyi:
Making Mercury Programs Tail Recursive. 196-215 - Marco Bertolino, Sandro Etalle, Catuscia Palamidessi:
The Replacement Operation for CCP Programs. 216-233
Verification
- Marija Kulas:
Annotations for Prolog - A Concept and Runtime Handling. 234-254 - Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux:
Verification by Testing for Recursive Program Schemes. 255-272 - Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. 273-292 - Jürgen Giesl:
Context-Moving Transformations for Function Verification. 293-312
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-05 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
