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

Research output: Contribution to journalArticlepeer-review

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
Pages (from-to)97-113
Number of pages17
JournalSIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Volume34
Issue number10
DOIs
StatePublished - Oct 1999

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design

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