Author:
Méndez-Lojo Mario,Hermenegildo Manuel V.
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Lecture Notes in Computer Science;O. Agesen,1995
2. Lecture Notes in Computer Science,1999
3. Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: Proc. of OOPSLA 1996, October 1996. SIGPLAN Notices, vol. 31(10), pp. 324–341 (1996)
4. Bueno, F., García de la Banda, M., Hermenegildo, M.: Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Transactions on Programming Languages and Systems 21(2), 189–238 (1999)
5. Lecture Notes in Computer Science;G. Michael,1995
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Need for a Common API for Abstract Domains of Object-Oriented Programs;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07
2. Parallel Logic Programming: A Sequel;Theory and Practice of Logic Programming;2022-03-28
3. The role of linearity in sharing analysis;Mathematical Structures in Computer Science;2022-01
4. Exploiting Linearity in Sharing Analysis of Object-oriented Programs;Electronic Notes in Theoretical Computer Science;2016-04
5. Sharing analysis in the Pawns compiler;PeerJ Computer Science;2015-09-02