10. LOPSTR 2000: London, UK

@proceedings{DBLP:conf/lopstr/2000,
  editor    = {Kung-Kiu Lau},
  title     = {Logic Based Program Synthesis and Transformation, 10th International
               Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected
               Papers},
  booktitle = {LOPSTR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2042},
  year      = {2001},
  isbn      = {3-540-42127-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Synthesis

• Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini:
  A Formal Framework for Synthesis and Verification of Logic Programs. 1-17
  Electronic Edition (Springer LINK) BibTeX
• Iman Poernomo, John N. Crossley:
  Protocols between Programs and Proofs. 18-37
  Electronic Edition (Springer LINK) BibTeX
• Robert Colvin, Ian J. Hayes, Paul A. Strooper:
  A Technique for Modular Logic Program Refinement. 38-56
  Electronic Edition (Springer LINK) BibTeX

Transformation

• Silvija Seres, J. Michael Spivey:
  Higher-Order Transformation of Logic Programs. 57-68
  Electronic Edition (Springer LINK) BibTeX

Analysis

• Alexander Serebrenik, Danny De Schreye:
  Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. 69-85
  Electronic Edition (Springer LINK) BibTeX
• Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey:
  A Model for Inter-module Analysis and Optimizing Compilation. 86-102
  Electronic Edition (Springer LINK) BibTeX

Specialisation

• Elvira Albert, Sergio Antoy, Germán Vidal:
  Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. 103-124
  Electronic Edition (Springer LINK) BibTeX
• Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
  Automated Strategies for Specializing Constraint Logic Programs. 125-146
  Electronic Edition (Springer LINK) BibTeX

Abstract Interpretation

• Alessandra Di Pierro, Herbert Wiklicky:
  Measuring the Precision of Abstract Interpretations. 147-164
  Electronic Edition (Springer LINK) BibTeX

Debugging

• Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
  Specifying Prolog Trace Models with a Continuation Semantics. 165-182
  Electronic Edition (Springer LINK) BibTeX