UMCS-00-6-1
LOPSTR 2000
Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, July 2000, Imperial College London.

Accepted papers

• N. E. Albert, S. Antoy and G. Vidal, Measuring the Effectiveness of Partial Evaluation
  
• A. Avellone, M. Ferrari and C. Fiorentini, A formal framework for synthesis and verification of logic programs
  
• F. Bueno at al, A model for inter-module analysis and optimizing compilation
  
• R. Colvin, I. Hayes and P. Strooper, Modular Logic Program Refinement
  
• B. Demoen, Prolog and abduction 4 writing garbage collectors
  
• A. Di Pierro and H. Wiklicky, On the precision of abstract interpretations
  
• S. Etalle and J. Mountjoy, The lazy functional side of logic programming
  
• F. Fioravanti, A. Pettorossi and M. Proietti, Automated strategies for specializing constraint logic programs
  
• E. Jahier, M. Ducasse and O. Ridoux, Specifying Prolog trace models with a continuation semantics
  
• I. Poernomo and J. Crossley, Protocols between programs and proofs
  
• A. Serebrenik and D. De Schreye, Non-tranformational termination analysis of logic programs, based on general term-orderings
  
• S. Seres and M. Spivey, Higher-order transformation of logic programs
  
• W. Vanhoof and M. Bruynooghe, Towards a modular binding-time analysis for higher-order Mercury
  
• W. Wilson, A minimal specification language