Author:
Fachinetti Leandro,Palmer Zachary,Smith Scott F.,Wu Ke,Yorihiro Ayaka
Publisher
Springer International Publishing
Reference41 articles.
1. Agesen, O.: The Cartesian product algorithm: simple and precise type inference of parametric polymorphism. In: ECOOP (1995)
2. Besson, F.: CPA beats $$\infty $$-CFA. In: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs (2009)
3. Bravenboer, M., Smaragdakis, Y.: Strictly declarative specification of sophisticated points-to analyses. In: OOPSLA (2009)
4. Darais, D., Labich, N., Nguyen, P.C., Horn, D.V.: Abstracting definitional interpreters. CoRR (2017)
5. Duesterwald, E., Gupta, R., Soffa, M.L.: A practical framework for demand-driven interprocedural data flow analysis. TOPLAS 19(6), 992–1030 (1997)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献