Converting Java programs to use generic libraries

TitleConverting Java programs to use generic libraries
Publication TypeConference Paper
Year of Publication2004
AuthorsDonovan A, Kieżun A, Tschantz MS, Ernst MD
Conference NameObject-Oriented Programming Systems, Languages, and Applications (OOPSLA 2004)
Date or Month PublishedOctober 26–28
Conference LocationVancouver, BC, Canada
Abstract<p>Java 1.5 will include a type system (called JSR-14) that supports <em>parametric polymorphism</em>, or <em>generic</em> classes. This will bring many benefits to Java programmers, not least because current Java practice makes heavy use of logically-generic classes, including container classes. </p> <p> Translation of Java source code into semantically equivalent JSR-14 source code requires two steps: parameterization (adding type parameters to class definitions) and instantiation (adding the type arguments at each use of a parameterized class). Parameterization need be done only once for a class, whereas instantiation must be performed for each client, of which there are potentially many more. Therefore, this work focuses on the instantiation problem. We present a technique to determine sound and precise JSR-14 types at each use of a class for which a generic type specification is available. Our approach uses a precise and context-sensitive pointer analysis to determine possible types at allocation sites, and a set-constraint-based analysis (that incorporates guarded, or conditional, constraints) to choose consistent types for both allocation and declaration sites. The technique handles all features of the JSR-14 type system, notably the raw types that provide backward compatibility. We have implemented our analysis in a tool that automatically inserts type parameters into Java code, and we report its performance when applied to a number of real-world Java programs.</p>
DownloadsPDF PostScript slides (PDF)
Citation KeyDonovanKTE2004
Last changed Mon, 2013-06-03 10:27