10. LOPSTR 2000: London, UK

• Elvira Albert, Sergio Antoy, Germán Vidal:
  Measuring the Effectiveness of Partial Evaluation.
  Electronic Edition (link) BibTeX
• Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini:
  A formal framework for synthesis and verification of logic programs.
  Electronic Edition (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.
  Electronic Edition (link) BibTeX
• Robert Colvin, Ian J. Hayes, Paul A. Strooper:
  Modular Logic Program Refinement.
  Electronic Edition (link) BibTeX
• Bart Demoen:
  Prolog and abduction 4 writing garbage collectors.
  Electronic Edition (link) BibTeX
• Alessandra Di Pierro, Herbert Wiklicky:
  On the precision of abstract interpretations.
  Electronic Edition (link) BibTeX
• Sandro Etalle, Jon Mountjoy:
  The lazy functional side of logic programming.
  Electronic Edition (link) BibTeX
• Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
  Automated strategies for specializing constraint logic programs.
  Electronic Edition (link) BibTeX
• Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
  Specifying Prolog trace models with a continuation semantics.
  Electronic Edition (link) BibTeX
• Iman Poernomo, John N. Crossley:
  Protocols between programs and proofs.
  Electronic Edition (link) BibTeX
• Alexander Serebrenik, Danny De Schreye:
  Non-tranformational termination analysis of logic programs, based on general term-orderings.
  Electronic Edition (link) BibTeX
• Silvija Seres, J. Michael Spivey:
  Higher-order transformation of logic programs.
  Electronic Edition (link) BibTeX
• Wim Vanhoof, Maurice Bruynooghe:
  Towards a modular binding-time analysis for higher-order Mercury.
  Electronic Edition (link) BibTeX
• Walter W. Wilson:
  A minimal specification language.
  Electronic Edition (link) BibTeX