Keywords: logic programming, abstract interpretation, data-flow analysis, compilation techniques
Start Date: 1 January 95 / Status: finished / Duration: 24 months
[ participants / contact]
The objective is to provide a practical and general purpose working environment for the development and application of global analysis tools for logic programming languages. The environment will provide capabilities for modular program analysis, different control strategies (sequential and concurrent languages), and constraint based languages. The approach taken is to base such tools on bottom-up semantics for logic programs, and demonstrate the practical potential of starting from a clean and concise semantic core combined with abstract interpretation, transformational methods such as modelling control and abstract compilation.
The main results are: design and application of abstract compilation techniques as an alternative to abstract interpretations; application of abstract interpretation techniques to reason about different (abstract and concrete) semantics; modular and abductive analysis; a new model of the control strategy of Prolog; systematic design of analysis domains; analysis of local suspension and of input-output demand for concurrent logic programs.
Furthermore, a system with automatically detected termination has been implemented and several prototypes for bottom-up execution of logic programs and of a framework for the computation of an abstract semantics for logic programs have been designed and implemented.
Two workshops, with invited speakers external to the project, have been held in Israel and in Italy. Another workshop will take place in Israel in October 1996.
Università di Pisa
Dipartimento di Informatica
Corso Italia 40
Università di Pisa, I
University of Udine, I
Universidad Politecnica de Madrid, E
Katholieke Universiteit Leuven, B
Ben-Gurion University of the Negev, ISR
Hebrew University, ISR
Prof. Giorgio Levi
Tel: +39 50 510246
Fax: +39 50 510226
BACPROL - EC-ISR90, May 1997
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook