9. LOPSTR 1999: Venezia, Italy

@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 BibTeX

Tutorials

• Mireille Ducassé, Laurence Rozé: Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. 10-29 BibTeX
• Laurent Fribourg: Constraint Logic Programming Applied to Model Checking. 30-41 BibTeX

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 BibTeX

Analysis and Specialisation

• Michael Leuschel, Thierry Massart: Infinite State Model Checking by Abstract Interpretation and Program Specialisation. 62-81 BibTeX
• Jan-Georg Smaus, Patricia M. Hill, Andy King: Mode Analysis Domains for Typed Logic Programs. 82-101 BibTeX
• Julio C. Peralta, John P. Gallagher: Imperative Program Specialisation: An Approach Using CLP. 102-117 BibTeX
• Jacob M. Howe, Andy King: Specialising Fininte Domain Programs Using Polyhedra. 118-135 BibTeX

Transformation

• Ralf Lämmel, Günter Riedewald, Wolfgang Lohmann: Roles of Program Extension. 136-155 BibTeX
• Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transformation of Left Terminating Programs. 156-175 BibTeX
• Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Logic Programs with Goals as Arguments. 176-195 BibTeX
• Peter Ross, David Overton, Zoltan Somogyi: Making Mercury Programs Tail Recursive. 196-215 BibTeX
• Marco Bertolino, Sandro Etalle, Catuscia Palamidessi: The Replacement Operation for CCP Programs. 216-233 BibTeX

Verification

• Marija Kulas: Annotations for Prolog - A Concept and Runtime Handling. 234-254 BibTeX
• Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux: Verification by Testing for Recursive Program Schemes. 255-272 BibTeX
• Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. 273-292 BibTeX
• Jürgen Giesl: Context-Moving Transformations for Function Verification. 293-312 BibTeX