Abstract
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.
Original language | English |
---|---|
Pages | 97-113 |
Number of pages | 17 |
DOIs | |
State | Published - 1999 |
Event | Proceedings of the 1999 Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA-99 - Denver, CO, USA Duration: 1 Nov 1999 → 5 Nov 1999 |
Conference
Conference | Proceedings of the 1999 Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA-99 |
---|---|
City | Denver, CO, USA |
Period | 1/11/99 → 5/11/99 |