10. LOPSTR 2000: London, UK

Kung-Kiu Lau (Ed.): Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, July 2000, Imperial College London, LOPSTR 2000 Technical Report, UMCS-00-6-1, Department of Computer Science, University of Manchester, ISSN 1361-6161, ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1.html

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