Publisher
Springer Berlin Heidelberg
Reference49 articles.
1. O. Agesen. The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In European Conference on Object-Oriented Programming, pages 2–26, 1995.
2. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
3. L. O. Andersen. Program analysis and specialization for the C programming language. PhD thesis, DIKU, University of Copenhagen, 1994. Also available as DIKU report 94/19.
4. D. Bacon and P. Sweeney. Fast static analysis of C++ virtual function calls. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 324–341, 1996.
5. Bruno Blanchet. Escape analysis for object-oriented languages: application to java. In Proceedings of the 1999 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 20–34. ACM Press, 1999.
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Retrofitting Provenance for Transparent and Fair Software - Drivers and Challenges;2023 IEEE/ACM International Workshop on Equitable Data & Technology (FairWare);2023-05
2. Systematic Literature Review on Object Oriented Software Testing Techniques;2023 International Conference on Innovative Data Communication Technologies and Application (ICIDCA);2023-03-14
3. Sentinel: generating GUI tests for sensor leaks in Android and Android wear apps;Software Quality Journal;2019-12-12
4. Initialize once, start fast: application initialization at build time;Proceedings of the ACM on Programming Languages;2019-10-10
5. S
entinel;Proceedings of the 13th International Workshop on Automation of Software Test;2018-05-28