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

Research output: Contribution to conferencePaperpeer-review

18 Scopus citations

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 languageEnglish
Pages97-113
Number of pages17
DOIs
StatePublished - 1999
EventProceedings of the 1999 Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA-99 - Denver, CO, USA
Duration: 1 Nov 19995 Nov 1999

Conference

ConferenceProceedings of the 1999 Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA-99
CityDenver, CO, USA
Period1/11/995/11/99

Fingerprint

Dive into the research topics of 'Modular type-based reverse engineering of parameterized types in Java code'. Together they form a unique fingerprint.

Cite this