Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers /
This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic. The 10 revised full papers presented have gone through two ro...
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
2001.
|
| Series: | Lecture notes in computer science ;
2042. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- A formal framework for synthesis and verification of logic programs / Alessandro Avellone, Mauro Ferrari, and Camillo Fiorentini
- Protocols between programs and proofs / Iman Poernomo and John N. Crossley
- A technique for modular logic program refinement / Robert Colvin, Ian Hayes, and Paul Strooper
- Higher-order transformation of logic programs / Silvija Seres and Michael Spivey
- Non-transformational termination analysis of logic programs, based on general term-orderings / Alexander Serebrenik and Danny De Schreye
- A model for inter-module analysis and optimizing compilation / Francisco Bueno [and others]
- Measuring the effectiveness of partial evaluation in functional logic languages / Elvira Albert, Sergio Antoy, and Germán Vidal
- Automated strategies for specializing constraint logic programs / Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti
- Measuring the precision of abstract interpretations / Alessandra Di Pierro and Herbert Wiklicky
- Specifying prolog trace models with a continuation semantics / Erwan Jahier, Mireille Ducassé, and Olivier Ridoux.