TY - JOUR
T1 - Modular type-based reverse engineering of parameterized types in Java code
AU - Duggan, Dominic
PY - 1999/10
Y1 - 1999/10
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=17144432349&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=17144432349&partnerID=8YFLogxK
U2 - 10.1145/320385.320393
DO - 10.1145/320385.320393
M3 - Article
AN - SCOPUS:17144432349
SN - 0362-1340
VL - 34
SP - 97
EP - 113
JO - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
JF - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
IS - 10
ER -