1. The Design and Analysis of Computer Algorithms;Aho,1974
2. An Abstract Interpretation Scheme for Logic Programs Based on Type Expression;Bansal;Proceedings of the International Conference on Fifth Generation Computer Systems,1988
3. A Practical Framework for the Abstract Interpretation of Logic Programs;Bruynooghe;J. Logic Programming,1991
4. An Instance of Abstract Interpretation Integrating Type and Mode Inferencing;Bruynooghe;Proceedings of the 5th International Conference and Symposium on Logic Programming,1988
5. Abstract Interpretation: Towards the Global Optimization of Prolog Programs;Bruynooghe;Proceedings of the 4th Symposium on Logic Programming,1987