Precise concrete type inference for object-oriented languages

ACM SIGPLAN Notices

Volumn 29, Issue 10, 1994, Pages 324-340

  Plevyak, John ^a   Chien, Andrew A ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976678569     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/191081.191130     Document Type: Article

References (22)

1. O. Agesen, J. Palsberg, and M. Schwartzbach. Type inference of SELF: Analysis of objects with dynamic and multiple inheritance. In Proceedings of ECOOP ‘93, 1993.
2. Ole Agesen. Personal communication, 1993.
3. Alexander Aiken, Edward L. Wimmers, and T. K. Lakshman. Soft typing with conditional types. In Twenty First Symposium on Principles of Programming Languages, pages 151-162, Portland, Oregon, January 1994.
4. Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh, and Robert van Gent. Safe and decidable type checking in an object-oriented language. In Proceedings of OOPSLA’93, pages 29-46, 1993.
5. Robert Cartwright and Mike Fagan. Soft typing. In. In Proceedings of the ACM SIGPLAN ‘91 Conference on Programming Language Design and Implementation, pages 278-292, Ontario, Canada, June 1991.
6. C. Chambers and D. Ungar. Customization: Optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. In Proceedings of SIGPLAN Conference on Programming Language Design and Implementation, pages 146-60, 1989.
7. C. Chambers and D. Ungar. Iterative type analysis and extended message splitting. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 150-60, 1990.
8. C. Chambers and D. Ungar. Making pure object-oriented languages practical. In OOPSLA ‘91 Conference Proceedings, 1991.
9. Andrew A. Chien. Concurrent Aggregates: Supporting Modularity in Massively-Parallel Programs. MIT Press, Cambridge, MA, 1993.
10. Andrew A. Chien, Vijay Karamcheti, John Plevyak, and Xingbin Zhang. Concurrent aggregates language report 2.0. Available via anonymous ftp from cs.uiuc.edu in /pub/csag or from http://www-csag.cs.uiuc.edu/, September 1993.
11. J. Choi, R. Cytron, and J. Ferrante. Automatic construction of sparse dataflow evaluation graphs. In Proceedings of the ACM Symposium on Principles of Programming Languages, 1990.
12. J. Graver and R. Johnson. A type system for Smalltalk. In Proceedings of POPL, pages 136-150, 1990.
13. Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, 1990.
14. John C. Mitchell, Furio Honsell, and Kathleen Fisher. A lambda calculus of objects and method specialization. In 1993 IEEE Symposium on Logic in Computer Science, pages 26-38, June 1993.
15. N. Oxhøj, J. Palsberg, and M. Schwartzbach. Making type inference practical. In Proceedings of OOPSLA ‘92, 1992.
16. J. Palsberg and M. Schwartzbach. Object-oriented type inference. In Proceedings of OOPSLA ‘91, pages 146-61, 1991.
17. John Plevyak and Andrew Chien. Precise object-oriented type inference and its use in program optimization. To be issued as a technical report, 1994.
18. Bernhard Rytz and Marc Gengler. A polyvariant binding time analysis. Technical Report YALEU/DCS/RR-909, Yale University, Department of Computer Science, 1992. Proceedings of the 1992 ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation.
19. Olin Shivers. Topics in Advanced Language Implementation, chapter Data-Flow Analysis and Type Recovery in Scheme, pages 47-88. MIT Press, Cambridge, MA, 1991.
20. Norihisa Suzuki. Inferring types in Smalltalk. In Eighth Symposium on Principles of Programming Languages, pages 187-199, January 1981.
21. Thinking Machines Corporation, Cambridge, Massachusetts. CM-5 Technical Summary, October 1991.
22. David Ungar and Randall B. Smith. SELF: The power of simplicity. In Proceedings of OOPSLA ‘87, pages 227-41. ACM SIGPLAN, ACM Press, 1987.