Author:
Ernst Michael D.,Macedonio Damiano,Merro Massimo,Spoto Fausto
Publisher
Springer International Publishing
Reference22 articles.
1. Abadi, M., Flanagan, C., Freund, S.: Types for safe locking: static race detection for Java. ACM TOPLAS 28(2), 207–255 (2006)
2. Lecture Notes in Computer Science;E Ábrahám-Mumm,2002
3. Bandera: About Bandera. http://bandera.projects.cis.ksu.edu
4. Bierman, G.M., Parkinson, M.J.: Effects and effect inference for a core java calculus. ENTCS 82(7), 82–107 (2003)
5. Blanchet, B.: Escape analysis for java: theory and practice. ACM TOPLAS 25(6), 713–775 (2003)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献