论文信息 - Modular type-based reverse engineering of parameterized types in Java code

Modular type-based reverse engineering of parameterized types in Java code

An analysis is provided for Java programs that reverse engineers parameterized types into existing Java code. This analysis propagates precise type information about the contents of container objects. As an application, the analysis can be used to justify the safe removal of downcasts that are guaranteed to succeed. Another application is in automatically reverse engineering parameterized types into existing Java libraries, so that they can be used in Java dialects with parameterized types.

Dominic Duggan

[1] Martin Odersky,et al. Making the future safe for the past: adding genericity to the Java programming language , 1998, OOPSLA '98.

[2] François Pottier,et al. A framework for type inference with subtyping , 1998, ICFP '98.

[3] Frank Tip,et al. Aggregate structure identification and its application to program analysis , 1999, POPL '99.

[4] Scott F. Smith,et al. Subtyping Constrained Types , 1996, SAS.

[5] Robert Cartwright,et al. Compatible genericity with run-time types for the Java programming language , 1998, OOPSLA '98.

[6] Suad Alagic,et al. Parametric polymorphism for Java: a reflective solution , 1998, OOPSLA '98.

[7] Scott F. Smith,et al. Type inference for recursively constrained types and its application to OOP , 1995, MFPS.

[8] Guy L. Steele,et al. The Java Language Specification , 1996 .

[9] Fritz Henglein,et al. AnnoDomini: from type theory to Year 2000 conversion tool , 1999, POPL '99.

[10] Scott F. Smith,et al. Sound polymorphic type inference for objects , 1995, OOPSLA.

[11] J. Palsberg. Efficient Inference of Object Types , 1996 .

[12] Robert O'Callahan,et al. Lackwit: A Program Understanding Tool Based on Type Inference , 1997, Proceedings of the (19th) International Conference on Software Engineering.