1. Computers and their Applications,1987
2. M. Bruynooghe, G. Janssens, A. Gallebaut, and B. Demoen. Abstract interpretation: towards the global optimization of Prolog programs. In Proceedings of the 1987 International Symposium on Logic Programming, San Francisco, California, pages 192–204. IEEE Computer Society Press, Los Alamitos, California, August 31–September 4, 1987.
3. V. Balasundaram and K. Kennedy. A technique for summarizing data access and its use in parallelism enhancing transformations. In SIGPLAN'89 Conference on Programming Language Design and Implementation, pages 41–53, Portland, Oregon, June 21–23, 1989.
4. F. Bourdoncle. Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity. In P. Deransart and Maluszyński, editors, Proceedings of the International Workshop PLILP'90, Programming Language Implementation and Logic Programming, Linköping, Sweden, Lecture Notes in Computer Science 456, pages 307–323. Springer-Verlag, Berlin, Germany, August 20–22, 1990.
5. F. Bourdoncle. Abstract interpretation by dynamic partitioning. Journal of Functional Programming, 1992. (to appear).