Efficient Inference of Static Types for Java Bytecode
作者： Etienne M. Gagnon , Laurie J. Hendren , Guillaume Marceau
DOI: 10.1007/978-3-540-45099-3_11
关键词:
摘要: In this paper, we present an efficient and practical algorithm for inferring static types local variables in a 3-address, stackless, representation of Java bytecode.
springer.com
core.ac.uk
sci-hub.st 参考文章(23)
Per Bothner, Kawa: compiling dynamic languages to the Java VM usenix annual technical conference. pp. 41- 41 ,(1998)
Todd A. Proebsting, Scott A. Watterson, Krakatoa: decompilation in java (dose bytecode reveal source?) usenix conference on object oriented technologies and systems. pp. 14- 14 ,(1997)
S. Tucker Taft, Programming the Internet in Ada 95 international conference on reliable software technologies. pp. 1- 16 ,(1996) , 10.1007/BFB0013475
Frank Yellin, Tim Lindholm, The Java Virtual Machine Specification ,(1996)
Raja Vallée-Rai, Etienne Gagnon, Laurie Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan, Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? compiler construction. pp. 18- 34 ,(2000) , 10.1007/3-540-46423-9_2
Laurie Hendren, Etienne M. Gagnon, Intra-procedural inference of static types for java bytecode ,(1998)
Bill Joy, Guy Steele, James Gosling, Gilad Bracha, None, The Java Language Specification ,(1996)
Todd B. Knoblock, Jakob Rehof, Type elaboration and subtype completion for Java bytecode symposium on principles of programming languages. pp. 228- 242 ,(2000) , 10.1145/325694.325725
Mary F. Fernández, Simple and effective link-time optimization of Modula-3 programs Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation - PLDI '95. ,vol. 30, pp. 103- 115 ,(1995) , 10.1145/207110.207121
David F. Bacon, Peter F. Sweeney, Fast static analysis of C++ virtual function calls Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '96. ,vol. 31, pp. 324- 341 ,(1996) , 10.1145/236337.236371