Publisher
Springer Berlin Heidelberg
Reference59 articles.
1. R. Barbuti, R. Giacobazzi, and G. Levi. A general framework for semantics-based bottom-up abstract interpretation of logic programs. TOPLAS, 15(1):133–181, 1993.
2. B. Blanchet. Escape analysis for object-oriented languages: Application to Java. OOPSLA’99. SIGPLAN Not. 34(10):20–34, 1999.
3. F. Bueno, M.J. García de la Banda, and M.V. Hermenegildo. Effectiveness of abstract interpretation in automatic parallelization: A case study in logic programming. TOPLAS, 21(2):189–239, 1999.
4. G.L. Burn, C.L. Hankin, and S. Abramsky. Strictness analysis of higher-order functions. Sci. Comput. Programming, 7:249–278, 1986.
5. M. Codish, D. Dams, G. Filé, and M. Bruynooghe. Freeness analysis for logic programs-and correctness? Proc. ICLP’ 93, pp. 116–131. MIT Press, 1993.
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献