Efficient inference of static types for java bytecode

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1824 LNCS, Issue , 2000, Pages 199-220

  Gagnon, Etienne M ^a   Hendren, Laurie J ^a   Marceau, Guillaume ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

STATIC ANALYSIS; ALGORITHMS; JAVA PROGRAMMING LANGUAGE;

BYTECODE REPRESENTATION; BYTECODES; CONSTRAINT SYSTEMS; JAVA BYTE CODES; LOCAL VARIABLES; PROGRAM TRANSFORMATIONS; STATIC TYPING; TYPE INFERENCES;

JAVA PROGRAMMING LANGUAGE; STATIC ANALYSIS;

EID: 84906094634     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45099-3_11     Document Type: Conference Paper

References (27)

1. Ole Agesen. Constraint-based type inference and parametric polymorphism. In Baudouin Le Charlier, editor, SAS'94-Proceedings of the First International Static Analysis Symposium, volume 864 of Lecture Notes in Computer Science, pages 78-100. Springer, September 1994
2. Ole Agesen. The Cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In Wa lter G. Olthoff, editor, ECOOP'95-Object-Oriented Programming, 9th European Conference, volume 952 of Lecture Notes in Computer Science, pages 2-26, ?Aarhus, Denmark, August 1995. Springer
3. Ahpah Software Inc. http://zeus.he.net/?pah/products.html
4. David F. Bacon and Peter F. Sweeney. Fast static analysis of C++ virtual function calls. In Proceedings of the Conference on Object-Oriented Programming Systems, Lang uages, and Applications, volume 31 of ACM SIGPLAN Notices, pages 324-341, New York, October 1996. ACM Press
5. Per Bothner. Kawa-compiling dynamic languages to the Java VM, 1998
6. Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. MIT Press; McGraw-Hill Book, Cambridge New York, 1990
7. Jeffrey Dean, David Grove, and Craig Chamb ers. Optimization of object-oriented programs using static class hierarchy analysis. In Walter G. Olthoff, editor, ECOOP'95-Object-Oriented Programming, 9th European Conference, volume 952 of Lecture Notes in Computer Science, pages 77-101, ?Aarhus, Denmark, August 1995. Springer
8. Mary F. Fernandez. Simple and effective link-time optimization of Modula-3 programs. In Proceedings of the ACM SIGPLAN'95 Conference on Programming L anguage Design and Implementation (PLDI), pages 103-115, La Jolla, California, June 1995
9. Etienne M. Gagnon and Laurie J. Hendren. Intra-procedural inference of static types for java bytecode. Technical Report Sable 1998-5, McGill University, Montreal, Canada, October 1998. http://www.sable.mcgill.ca/ publications/
10. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. The Java Series. Addison-Wesley, 1997
11. Innovative Software. http://world.isg.de
12. T. Knoblock and J. Rehof. Type elaboration and subtype completion for Java bytecode. In Proceedings 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages., pages 228-242, January 2000
13. Tim L indholm and Frank Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Reading, MA, USA, Jannuary 1997
14. MLJ.http://research.persimmon.co.uk/mlj/.
15. Mo cha,http://www.brouhaha.com/?eric/computers/mocha.html.
16. G. Morrisett, K. Crary, N. Glew, and D. Walker. Stack-based typed assembly language. Lecture Notes in Computer Science, 1473:28-52, 1998
17. Jens Palsberg and Michael I. Schwartzbach. Object-Oriented Type Inference. In Proceedings of the OOPSLA '91 Conference on Object-oriented Programming Systems, Languages and Applications, pages 146-161 , November 1991. Published as ACM SIGPLAN Notices, volume 26, number 11
18. J. Plevyak and A. A. Chien. Precise concrete type inference for object-oriented languages. ACM SIGPLAN Notices, 29(10):324-324, October 1994
19. Todd A. Proebsting and Scott A. Watterson. Krakatoa: Decompilation in Java (does bytecode reveal source?). In USENIX, editor, The Third USENIX Conference on Obje ct-Oriented Technologies and Systems (COOTS), June 16-19, 1997. Portland, Oregon, pages 185-197, Berkeley, CA, USA, June 1997. USENIX. 218
20. Small Eiffel. http://SmallEiffel.loria.fr/
21. . Soot. http://www.sable.mcgill.ca/soot/
22. Sun Microsystems Inc. http://java.sun.com/products/hotspot/
23. Tucker Taft. Programming the Internet in Ada 95. In Alfred Strohmeier, editor, Reliable software technologies, Ada-Europe '96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1 996: proceedings, volume 1088, pages 1-16, 1996
24. Jerzy Tiuryn. Subtype inequalities. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, pages 308-315, Santa Cruz, Californ ia, June 1992. IEEE Computer Society Press
25. Raja Valĺ ee-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, and Vijay Sundaresan. Soot-A Java bytecode optimization framework. In Proceedings of CASCON '99, 1999
26. Raja Valĺ ee-Rai, Etienne Gagnon, Laurie Hendren, Patrick Lam, Patrice Pominville, and Vijay Sundaresan. Optimizing Java Bytecode using the Soot framework: It i s feasible? In David Watt, editor, CC2000-International Conference on Compiler Construction, pages 18-34, Berlin, Germany, March 2000
27. WingSoft Corporation. http://www.wingsoft.com/wingdis.shtml Recherche