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

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