A core calculus of classes and objects

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 28-49

  Bono, Viviana ^a,c   Patel, Amit ^b   Shmatikov, Vitaly ^b   Mitchell, John ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b Stanford University   (United States)

^c UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

Calculus; Class; Object oriented language; Operational semantics; Type system

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; EQUIVALENCE CLASSES; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

CORE CALCULUS; OBJECT SUBTYPING; OPERATIONAL SEMANTICS; TYPE SYSTEMS;

COMPUTER SCIENCE;

EID: 2342467302     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80065-3     Document Type: Conference Paper

References (36)

1. Abadi M., Cardelli L. A Theory of Objects. 1996;Springer-Verlag
2. Arnold K., Gosling J. The Java Programming Language. 1999;Addison-Wesley
3. Bono V., "Type Systems for the Object Oriented Paradigm," Ph.D. thesis, Università di Torino (1999).
4. Bono V. and M. Bugliesi, Matching for the lambda calculus of objects, Theoretical Computer Science (1998), to appear.
5. Bono V. and K. Fisher, An imperative, first-order calculus with object extension, in: Proc. ECOOP '98 (1998), pp. 462-497, preliminary version appeared in FOOL 5 proceedings.
6. Bono V. and K. Fisher, An imperative, first-order calculus with object extension, in: Proc. ECOOP '98 (1998), pp. 462-497, preliminary version appeared in FOOL 5 proceedings.
7. Bono V. and L. Liquori, A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, in: Proc. CSL '94 (1995), p. 16-30.
8. Bono V., A. Patel and V. Shmatikov, A core calculus of classes and mixins, in: Proc. ECOOP '99, 1999, to appear.
9. Bruce, K. B., Safe type checking in a statically-typed object-oriented programming language, in: Proc. POPL '93, pp. 285-298.
10. Bruce K.B. A paradigmatic object-oriented language: design, static typing and semantics. J. Functional Programming. 4:1994;127-206
11. Bruce K.B., Cardelli L., Castagna G., T.H.O. Group, Leavens G., Pierce B.C. On binary methods, Theory and Practice of Object Systems. 1:1995;217-238
12. Bruce, K.B., L. Cardelli, and B.C Pierce, Comparing object encodings, in: Proc. TACS '97 (1997), pp. 415-438.
13. Bruce, K.B., L. Petersen and A. Finch, Subtyping is not a good "match" for object-oriented languages, in: Proc. ECOOP '97 (1997), pp. 104-127.
14. Bruce, K.B., A. Schuett and R. van Gent, PolyTOIL: A type-safe polymorphic object-oriented language, in: Proc. ECOOP '95 (1995), pp. 26-51.
15. Cardelli L., Wegner P. On understanding types, data obstraction, and polymorphism. Computing Surveys. 17:1985;471-522
16. Cook W., W. Hill and P. Canning, Inheritance is not subtyping, in: Proc. POPL '90, pp. 125-135.
17. Cook, W.R., "A Denotational Semantics of Inheritance," Ph.D. thesis, Brown University (1989).
18. Crank E. and M. Felleisen, Parameter-passing and the lambda calculus, in: Proc. POPL '91, 1991, pp. 233-244.
19. Eifrig J., S. Smith and V. Trifonov, Sound polymorphic type inference for objects, in: Proc. OOPSLA '95, 1995, pp. 169-184.
20. Felleisen M. and R. Hieb, The revised report on the syntactic theories of sequential control and state, Theoretical Computer Science 103 (1992), pp.235-271.
21. Fisher K., "Type Systems for Object-Oriented Programming Languages," Ph.D. thesis, Stanford University (1996).
22. Fisher K., F. Honsell and J.C. Mitchell, A lambda-calculus of objects and method specialization, Nordic J. of Computing 1 (1994), pp. 3-37 preliminary version appeared in Proc. LICS '93, pp. 26-38.
23. Fisher K., F. Honsell and J.C. Mitchell, A lambda-calculus of objects and method specialization, Nordic J. of Computing 1 (1994), pp. 3-37 preliminary version appeared in Proc. LICS '93, pp. 26-38.
24. Fisher K. and J.C. Mitchell, A delegation-based object calculus with subtyping, in: Proc. 10th International Conference on Fundamentals of Computation Theory (FCT '95) (!995), pp. 42-61.
25. Fisher K. and J.C. Mitchell, On the relationship between classes, objects, and data abstraction, Theory and Practice of Object Systems 4 (1998), pp. 3-26, preliminary version appeared in Marktoberdorf '97 proceedings.
26. Fisher K. and J.C. Mitchell, On the relationship between classes, objects, and data abstraction, Theory and Practice of Object Systems 4 (1998), pp. 3-26, preliminary version appeared in Marktoberdorf '97 proceedings.
27. Hofmann M. and B. C. Pierce, Positive subtyping, Information and Computation 126 (1996), pp. 11-33, preliminary version appeared in Proc. POPL '95.
28. Hofmann M. and B. C. Pierce, Positive subtyping, Information and Computation 126 (1996), pp. 11-33, preliminary version appeared in Proc. POPL '95.
29. Kamin S., Reddy U. Two semantic models of object-oriented languages. Gunther C., Mitchell J.C. Theoretical Aspects of Object-Oriented Programming. 1994;MIT Press
30. Mason I. and C. Talcott Programming, transforming, and proving with function abstractions and memories, in: Proc. ICALP '89 (1989), pp. 574-588.
31. Pierce, B. C. and D. N. Turner, Simple type-theoretic foundations for object-oriented programming, J. Functional Programming 4 (1994), pp. 207-248, preliminary version appeared in Proc. POPL '93 under the title Object-Oriented Programming Without Recursive Types.
32. Pierce, B. C. and D. N. Turner, Simple type-theoretic foundations for object-oriented programming, J. Functional Programming 4 (1994), pp. 207-248, preliminary version appeared in Proc. POPL '93 under the title Object-Oriented Programming Without Recursive Types.
33. Reddy U., Objects as closures: Abstract semantics of object-oriented languages, in: Proc. Conference on Lisp and Functional Programming, 1988, pp. 289-297.
34. Stroustrup B. The C++Programming Language. 3rd ed. :1997;Addison-Wesley
35. Wand M. Type inference for objects with instance variables inheritance. Gunther C., Mitchell J.C. Theoretical Aspects of Object-Oriented Programming. 1994;MIT Press
36. Wright A. and M. Felleisen, A syntactic approach to type soundness, Information and Computation 115 (1994), pp. 38-94.