9. LOPSTR 1999: Venezia, Italy

Annalisa Bossi (Ed.): 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

@proceedings{DBLP:conf/lopstr/1999,
  editor    = {Annalisa Bossi},
  title     = {Logic Programming Synthesis and Transformation, 9th International
               Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected
               Papers},
  booktitle = {LOPSTR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1817},
  year      = {2000},
  isbn      = {3-540-67628-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Last update Fri May 25 08:25:32 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page