1. Principles of Compiler Design;Aho,1977
2. A Practical Framework for the Abstract Interpretation of Logic Programs;Bruynooghe,1988
3. Abstract Interpretation: Towards the Global Optimization of Prolog Programs;Bruynooghe,1987
4. AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis;Chang,1985
5. Using Safe Approximations of Fixed Points for Analysis of Logic Programs;Codish,1989