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

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 10, 1999, Pages 97-113

  Duggan, Dominic ^a  

^a Stevens Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144432349     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/320385.320393     Document Type: Article

References (13)

1. Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications. ACM Press, 1998.
2. Robert Cartwright and Guy Steele. Compatible genericity with run-time types for the Java programming language. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, 1998.
3. Dominic Duggan and Adriana Compagnoni. Subtyping for object type constructors. In Foundations of Object Oriented Languages, San Antonio, Texas, 1999.
4. Jonathan Eifrig, Scott Smith, and V. Trifonov. Sound polymorphic type inference for objects. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications. ACM Press, 1995.
5. Jonathan Eifrig, Scott Smith, and V. Trifonov. Type inference for recursively constrained types and its application to oop. In Proceedings of the Conference on Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science. Springer-Verlag, 1995. To appear.
6. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. The Java Series. Addison-Wesley, 1997.
7. Fritz Henglein. Anno domini: From type theory to year-2000 conversion tool. In Proceedings of ACM Symposium on Principles of Programming Languages, 1999.
8. Robert O'Callahan and Daniel Jackson. Lackwit: A program understanding tool based on type inference. In Proceedings of the International Conference on Software Engineering. ACM Press, 1997.
9. Jens Palsberg. Efficient inference of object types. In Proceedings of IEEE Symposium on Logic in Computer Science, pages 186-195, Paris, France, 1994. IEEE.
10. Francois Pottier. A framework for type inference with subtyping. In Proceedings of ACM International Conference on Functional Programming, pages 228-238, Baltimore, Maryland, 1998. ACM Press.
11. G. Ramalingam, John Field, and Frank Tip. Aggregate structure identification and its application to program analysis. In Proceedings of ACM Symposium on Principles of Programming Languages, 1999.
12. Jose H. Solorzano and Suad Alagic. Parametric polymorphism for Java: A reflective solution. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, 1998.
13. Valery Trifonov and Scott Smith. Subtyping constrained types. In Static Analysis Symposium, number 1145 in Incs, pages 349-365, 1996.