Author:
Bruynooghe Maurice,Janssens Gerda
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. M. Bruynooghe, ”A Practical Framework for the Abstract Interpretation of Logic Programs”, Journal of Logic Programming, Vol.10, pp. 91–124, (1991).
2. A. Colmerauer, ”An Introduction to PROLOG III”, Communications of the ACM, Vol.30(7), pp. 69–96 (1990).
3. A. Cortesi and G. File, ”Abstract Interpretation of Logic Programs: an Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis”, Proc. Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPMA '91, June 17–19, Connecticut, USA, pp. 52–61, (1991).
4. V. Dumortier, G. Janssens and M. Bruynooghe, ”Detection of free variables in the presence of numeric constraints by means of abstract interpretation”, CW Report CW145, (1992).
5. D. Jacobs and A. Langen, ”Accurate and Efficient Approximation of Varaiable Aliasing in Logic Programs”, ”Proc. NACLP89, MIT-press, pp. 154–165, (1989).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献