Type inference for variant object types

Information and Computation

Volumn 177, Issue 1, 2002, Pages 2-27

  Bugliesi, Michele ^a   Pericás Geertsen, Santiago M ^b  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; PROGRAM DIAGNOSTICS; THEOREM PROVING;

INFERENCE ALGORITHMS; INFERENCE PROBLEM; INVARIANT SUBTYPING; OVERRIDES;

OBJECT ORIENTED PROGRAMMING;

EID: 0037174070     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.2002.3091     Document Type: Article

References (24)

1. Amadio, R., and Cardelli, L. (1993), Subtyping recursive types, ACM Trans. Program. Lang. Systems 15(4), 575-631.
2. Abadi, M., and Cardelli, L. (1996), "A Theory of Objects," Springer-Verlag, Berlin.
3. Bruce, K. B., Crabtree, J., Murtagh, T. P., van Gent, R., Dimock, A., and Muller, R. (1993), Safe and decidable type checking in an object-oriented language, in "Proceedings OOPSLA '93," ACM SIGPLAN Notices, Vol. 28, pp. 29-46.
4. Cardone, F., and Coppo, M. (1991), Type inference with recursive types: Syntax and semantics, Inform. and Comput. 92, 48-80.
5. Duggan, D., and Compagnoni, A. (1999). Subtyping for object type constructors, in "Proc. 6th Int. Workshop on Foundations of Object-Oriented Languages (FOOL6)." Electronic proceedings available at ftp://ftp.cs.williams.edu/pub/kim/FOOL6/duggan.ps
6. Eifrig, J., Smith, S., and Trifonov, V. (1995). Sound polymorphic type inference for objects, in "Proceedings OOPSLA '95," ACM SIGPLAN Notices, pp. 169-184.
7. Eifrig, J., Smith, S., and Trifonov, V. (1995), Type inference for recursively constrained types and its application to OOP, in "Proc. 1995 Mathematical Foundations of Programming Semantics Conf.," Elsevier, Amsterdam.
8. Flanagan, C. (1997), "Effective Static Debugging via Componential Set-Based Analysis," Ph.D. thesis, Reading, MA.
9. Gosling, J., Joy, B., and Steele, G. (1996), "The Java Language Specification," Addison-Wesley, Reading, MA.
10. 3 barrier: Faster object type inference, in "Proc. 4th Int. Workshop on Foundations of Object-Oriented Languages (FOOL4)." Electronic proceedings available at http://www.cis.upenn.edu/bcpierce/foo
11. Hindley, J. R. (1969), The principal type-scheme of an object in combinatory logic. Trans. Amer. Math. Soc. 146, 29-60.
12. McAllester, D. (1996), Inferring recursive data types (http://www.ai.mit.edu/people/dam/rectypes.ps)
13. Milner, R. (1978), A theory of type polymorphism in programming, J. Comput. System Sci. 17, 348-375.
14. Milner, R., Tofte, M., Harper, R., and MacQueen, D. B. (1990), "The Definition of Standard ML (Revised)," MIT Press, Cambridge, MA.
15. Palsberg, J. (1995), Efficient inference of object types, Inform. and Comput. 123, 198-209.
16. Palsberg, J., and Jim, T. (1997), Type inference with simple selftypes is np-complete, Nordic J. Comput. 4(2), 259-286.
17. Peyton Jones, S. L., Hall, C., Hammond, K., Partain, W., and Wadler P. (1993), The Glasgow Haskell compiler: A technical overview, in "Proc. UK Joint Framework for Information Technology (JFIT) Technical Conf."
18. Pottier, F. (1998), "Type Inference in the Presence of Subtyping: From Theory to Practice," Ph.D. thesis, Université Paris VII.
19. Pierce, B., and Sangiorgi, D. (1996), Typing and subtyping for mobile processes, J. Math. Structures Comput. Sci. 6(5), 409-454, An extended abstract in "Proc. LICS 93", IEEE Comput. Soc. Press, Los Alamitos, CA.
20. Reynolds, J. C. (1996), "Design of the Programming Language Forsythe," Report CMU-CS-96-146, Carnegie Mellon University, Pittsburgh, Pennsylvania.
21. Rémy, D., and Vouillon, J. (1998), Objective ml: An effective object-oriented extension to ml. Theory and Practice of Object Systems. 4(1), 25-70.
22. Smith, S., and Wang, T. (2000), Polyvariant Flow Analysis with Constrained Types, in "ESOP2000: 9th European Symposium on Programming, Joint Conf. ETAPS 2000" (G. Smolka. Ed.), Lecture Notes in Computer Science, Vol. 1782, pp. 382-396, Springer-Verlag, Berlin.
23. Trifonov, V., and Smith, S. (1996), Subtyping constrained types, in "SAS'96: Static Analysis, Third International Symposium" (R. Cousot and D. A. Gaudel, Eds.), Lecture Notes in Computer Science, Vol. 1145, pp. 349-365, Springer-Verlag, Berlin/New York.
24. Tiuryn, J., and Wand, M. (1993), Type reconstruction with recursive types and atomic subtyping, in "TAPSOFT'93: Theory and Practice of Software Development, Proc. 4th Intern. Joint Conf. CAAP/FASE" (M.-C. Gaudel and J.-P. Jouannaud. Eds.). Lecture Notes in Computer Science, pp 686-701, Springer-Verlag, Berlin.