An Abstract Interpreter fot Improving the Efficiency of Dynamic Modular Logic Languages

Interpreter for Improving the Efficiency of Dynamic Modular Logic Languages Universit`a degli Studi di Bologna DEIS Anna Ciampolini Evelina Lamma Paola Mello Vito Pagone f g 1 2 3 1 1 2 3 Abstract. Keywords: Anna Ciampolini Evelina Lamma Paola Mello Vito Pagone January, 31, 1996 aciampolini,elamma @deis.unibo.it [email protected] [email protected] An Abstract Interpreter for Improving the Efficiency of Dynamic Modular Logic Languages DEIS, Universit`a di Bologna Viale Risorgimento 2, 40136 Bologna, Italy Tel: +39 51 6443033, Fax: +39 51 6443073 Istituto di Ingegneria, Universit`a di Ferrara Via Saragat, 44100 Ferrara, Italy Departamento de Computacion y Tecnologia de la Informacion Universidad Simon Bolivar. Apto. 8900, Caracas 1080 A, Venezuela minimal contexts Modular Logic Programs, Static Analysis, Abstract Interpretation, Meta-programming In this work, we focus on modular logic languages where module composition is performed through union of clauses and where the set of de..