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.
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
