Dynamic detection of atomic-set-serializability violations
Christian Hammer, Julian Dolby, et al.
ICSE 2008
As object-oriented class libraries evolve, classes are occasionally deprecated in favor of others with roughly the same functionality. In Java's standard libraries, for example, class Hashtable has been superseded by HashMap, and Iterator is now preferred over Enumeration. Migrating client applications to use the new idioms is often desirable, but making the required changes to declarations and allocation sites can be quite labor-intensive. Moreover, migration becomes complicated - and sometimes impossible - if an application interacts with external components, if a legacy class is not completely equivalent to its replacement, or if multiple interdependent classes must be migrated simultaneously. We present an approach in which mappings between legacy classes and their replacements are specified by the programmer. Then, an analysis based on type constraints determines where declarations and allocation sites can be updated. The method was implemented in Eclipse, and evaluated on a number of Java applications. On average, our tool could migrate more than 90% of the references to legacy classes. Copyright 2005 ACM.
Christian Hammer, Julian Dolby, et al.
ICSE 2008
Frank Tip, Peter F. Sweeney
Acta Informatica
Robert Fuhrer, Frank Tip, et al.
ECOOP 2005
John Field, Frank Tip
Information and Software Technology