An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages

Anna Ciampolini, Evelina Lamma, Paola Mello. An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. Inf. Process. Lett., 58(4):163-170, 1996. [doi]

Abstract

Abstract is missing.