Efficient local type inference

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2008, Pages 475-491

  Bellamy, Ben ^a   Avgustinov, Pavel ^a   De Moor, Oege ^a   Sereni, Damien ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Program analysis; Type inference

Indexed keywords

BYTECODE; DECOMPILATION; JAVA BYTE CODES; JAVA SOURCES; LOCAL VARIABLES; NOVEL ALGORITHMS; PRIMITIVE TYPES; PROGRAM ANALYSIS; TYPE CONSTRAINTS; TYPE INFERENCE; WORST-CASE COMPLEXITY; WORST-CASE PERFORMANCE;

ALGORITHMS; APPLICATIONS; BENCHMARKING; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; QUERY LANGUAGES; UNMANNED AERIAL VEHICLES (UAV);

OBJECT ORIENTED PROGRAMMING;

EID: 63549141229     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449764.1449802     Document Type: Conference Paper

References (26)

1. abc. The AspectBench Compiler. Home page with downloads, FAQ, documentation, support mailing lists, and bug database. http://aspectbench.org.
2. Ole Agesen. The Cartesian Product Algorithm: Simple and precise type inference of parametric polymorphism. In Walter G. Olthoff, editor, European Conference on Object- Oriented Programming (ECOOP), volume 952 of Lecture Notes in Computer Science, pages 2-26. Springer, 1995.
3. Ole Agesen. Concrete Type Inference: Delivering Object- Oriented Applications. PhD thesis, Stanford University, 1996. Sun Microsystems, Technical report TR-96-52.
4. Ole Agesen, Jens Palsberg, and Michael I. Schwartzbach. Type inference of SELF: Analysis of objects with dynamic and multiple inheritance. Software Practice and Experience, 25(9):975-995, 1995.
5. Ben Bellamy, Pavel Avgustinov, Oege de Moor, and Damien Sereni. Implementation of our local type inference algorithm (including experiments). http://musketeer.comlab.ox. ac.uk/typeinference/, 2008.
6. Eric Bodden. A denial-of-service attack on the java bytecode verifier. http://www.bodden.de/research/javados/, 2008.
7. Alan Donovan, Adam Kiezun, Matthew S. Tschantz, and Michael D. Ernst. Converting java programs to use generic libraries. In Object-Oriented Programming, Systems and Languages, pages 15-34, 2004.
8. Etienne Gagnon, Laurie J. Hendren, and Guillaume Marceau. Efficient inference of static types for Java bytecode. In Static Analysis Symposium, volume 1824 of Lecture Notes in Computer Science, pages 199-219, 2000.
9. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification Second Edition. Addison- Wesley, 2000.
10. Justin Owen Graver. Type-Checking and Type Inference for Object-Oriented Programming Languages. PhD thesis, University of Illinois at Urbana-Champaign, 1989.
11. Justin Owen Graver and Ralph E. Johnson. A type system for Smalltalk. In Symposium on Principles of Programming Languages (POPL), pages 136-150. ACM Press, 1990.
12. Andreas V. Hense. Polymorphic Type Inference for Object- Oriented Programming Languages. PhD thesis, Universität des Saarlandes, 1994.
13. Eric J. Holstege. Type Inference inaDeclarationless, Object- Oriented Language. PhD thesis, California Institute of Technology, 1982. Technical report 5035.
14. Bronislav Knaster. Un théorème sur les fonctions d'ensembles. Annales de la Societé Polonaise de Mathematique, 6:133- 134, 1928.
15. Todd B. Knoblock and Jakob Rehof. Type elaboration and subtype completion for java bytecode. ACM Transactions on Programming Languages and Systems (TOPLAS), 23(2):243-272, 2001.
16. Dexter Kozen, Jens Palsberg, and Michael I. Schwartzbach. Efficient inference of partial types. Journal of Computer and System Sciences, 49(2):306-324, 1994.
17. J. Miecnikowski and L. J. Hendren. Decompiling java bytecode: problems, traps and pitfalls. In R. N. Horspool, editor, Compiler Construction, volume 2304 of LectureNotes in Computer Science, pages 111-127. Springer Verlag, 2002.
18. Nicholas Oxhøj, Jens Palsberg, and Michael I. Schwartzbach. Making type inference practical. In Ole Lehrmann Madsen, editor, European Conference on Object-Oriented Programming (ECOOP), volume 615 of Lecture Notes in Computer Science, pages 329-349, 1992.
19. Jens Palsberg. Efficient inference of object types. Information and Computation, 123(2):198-209, 1995.
20. Jens Palsberg and Michael I. Schwartzbach. Object-oriented type inference. In Andreas Paepcke, editor, Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 146-161. ACM Press, 1991.
21. John Plevyak and Andrew A. Chien. Precise concrete type inference for object-oriented languages. In Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 324-340. ACM Press, 1994.
22. Todd A. Proebsting and Scott A. Watterson. Krakatoa: Decompilation in java (does bytecode reveal source?). In Conference on Object-Oriented Technologies (COOTS), pages 185-198, 1997.
23. Michael B. Smyth. Power domains. Journal of Computer and System Sciences, 16:23-96, 1978.
24. Steven Alexander Spoon. Demand-driventype inference with subgoal pruning. PhD thesis, Georgia Institute of Technology, 2005.
25. Norihisa Suzuki. Inferring types in smalltalk. In Symposium on Principles of Programming Languages, pages 187-199. ACM Press, 1981.
26. Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, and Vijay Sundaresan. Optimizing Java bytecode using the Soot framework: Is it feasible? In Compiler Construction, 9th International Conference (CC 2000), pages 18-34, 2000.