A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and semanticst

Journal of Functional Programming

Volumn 4, Issue 2, 1994, Pages 127-206

  Bruce, Kim B ^a  

^a WILLIAMS COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84972421893     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796800001039     Document Type: Article

References (79)

1. Abadi, M. (1992) Doing without F-bounded quantification. Message to Types electronic mail list, February.
2. Abadi, M. (1994) Baby modula-3 and a theory of objects.J. Functional Program, to appear.
3. Abadi, M. and Plotkin, G.D. (1990) A PER model of polymorphism and recursive types. In: Proc. Symp. on Logic in Comput. Sci., pp. 355–365.
4. Amadio, R.M. (1991) Recursion over realizability structures. Infor. and Computation 91(1): 55–86.
5. Amadio, R. and Cardelli, L. (1993) Subtyping recursive types., 4CM TOPLAS 15(4): 575–631.
6. America, P. (1987) Inheritance and subtyping in a parallel object-oriented language. In: J. Bezivin et al., Eds., Proc. ECOOP ’87 - Lecture Notes in Computer Science 276, pp. 234–242, Springer.
7. America, P., de Bakker, J., Kok, J. and Rutten, J. (1986) Operational semantics of a parallel object-oriented language. In: Proc. 13th ACM Symp. on Principles of Program. Lang., pp. 194–208.
8. America, P. de Bakker, J., Kok, J. and Rutten, J. (1989) Denotational semantics of a parallel object-oriented language. Infor. and Computation 83(2): 152–205.
9. America, P. and van der Linden, F. (1990) A parallel object-oriented language with inheritance and subtyping. In: OOPSLA-ECOOP ‘90 Proceedings, pp. 161–168, October. (ACM SIGPLAN Not. 25(10).)
10. Birtwistle, G.M., Dahl, O.-J., Myhrhaug, B. and Nygaard, K. (1973) SIMULA Begin. Aurbach.
11. Black, A. (1992) Private communication.
12. Black, A. and Hutchinson, N. (1991) Typechecking polymorphism in Emerald. Technical Report CRL 91/1 (Revised), DEC Cambridge Research Lab.
13. Black, A., Hutchinson, N., Jul, E. and Levy, H. (1986) Object structure in the Emerald system. In: Proc. ACM Symp. on Object-Oriented Program.: Syst.f Lang, and Applic., pp. 78–86, October.
14. Breazu-Tannen, U., Coquand, T., Gunter, C.A. and Scedrov, A. (1989) Inheritance and explicit coercion. In: Proc. 4th IEEE Symp. Logic in Comput. Sci., pp. 112–129.
15. Breazu-Tannen, U., Coquand, T., Gunter, C.A. and Scedrov, A. (1991) Inheritance and implicit coercion. Infor. and Computation 93(1): 172–221.
16. Bruce, K. (1992) The equivalence of two semantic definitions of inheritance in object-oriented languages. In: S. Brookes, M. Main, A. Melton, M. Mislove and D. Schmidt, Eds., Proc. 7th Int. Conf. on Mathematical Foundations of Program. Semantics - Lecture Notes in Computer Science 598, pp. 102–124, Springer.
17. Bruce, K., Crabtree, J., Dimock, A., Muller, R., Murtagh, T. and van Gent, R. (1993) Safe and decidable type checking in an object-oriented language. In: Proc. ACM Symp. on Object-Oriented Program.: Syst., Lang, and Applic., pp. 29–46.
18. Bruce, K., Crabtree, J. and Kanapathy, G. (1993) An operational semantics for TOOPLE: A statically-typed object-oriented programming language. In: Proc. MFPS IX, to appear.
19. Bruce, K. and Longo, G. (1988) A modest model of records, inheritance and bounded quantification. In: Proc. 3rd IEEE Symp. Logic in Comput. Sci., pp. 38–51.
20. Bruce, K. and Longo, G. (1990) A modest model of records, inheritance and bounded quantification. Infor. and Computation 87(1/2): 196–240.
21. Bruce, K.B., Meyer, A.R. and Mitchell, J.C. (1990) The semantics of second-order lambda calculus. Infor. and Computation 85(1): 761–834. (Reprinted in G. Huet, Ed., Logical
22. Foundations of Functional Programming, Addison-Wesley, Reading, MA, 1990, pp. 213—273.)
23. Bruce, K.B. and Mitchell, J.M. (1992) PER models of subtyping, recursive types and higherorder polymorphism. In: Proc. ACM Symp. on Principles of Program. Lang., pp. 316–327.
24. Bruce, K.B. and van Gent, R. (1993) TOIL: A new type-safe object-oriented imperative language. To appear.
25. Canning, P., Cook, W., Hill, W., Mitchell, J. and Olthoff, W. (1989) F-bounded quantification for object-oriented programming. In: Functional Prog, and Computer Architecture, pp. 273–280.
26. Canning, P., Cook, W., Hill, W. and Olthoff, W. (1989) Interfaces for strongly-typed object-oriented programming. In: Proc. ACM Conf. on Object-Oriented Program.: Syst., Lang, and Applic., pp. 457–467.
27. Cardelli, L. (1988a) A semantics of multiple inheritance. Inf or. and Computation 76: 138–164. (Special issue devoted to Symp. on Semantics of Data Types, Sophia-Antipolis (France), 1984.)
28. Cardelli, L. (1988b) Structural subtyping and the notion of powertype. In: Proc. 15th ACM Symp. Principles of Program. Lang., pp. 70–79.
29. Cardelli, L. (1992a) Extensible records in a pure calculus of subtyping. Technical Report 81, DEC Systems Research Center.
30. Cardelli, L. (1992b) Typed foundations of object-oriented programming, 1992. Tutorial given at POPL ’92.
31. Cardelli, L., Donahue, J., Galssman, L., Jordan, M., Kalsow, B. and Nelson, G. (1988) Modula-3 report. Technical Report SRC-31, DEC systems Research Center.
32. Cardelli, L. and Longo, G. (1991) A semantic basis for Quest.J. Functional Program. 1(4): 417–458.
33. Cardelli, L. and Mitchell, J.C. (1990) Operations on records. In: Math. Foundations of Prog. Lang. Semantics - Lecture Notes in Computer Science 442, pp. 22–52. Springer.
34. Cardelli, L. and Wegner, P. (1985) On understanding types, data abstraction, and polymorphism. Comput. Surv. 17(4): 471–522.
35. Cardone, F. (1989) Relational semantics for recursive types and bounded quantification. In: ICALP - Lecture Notes in Computer Science 372, pp. 164–178, Springer.
36. Castagna, G., Ghelli, G. and Longo, G. (1991) A calculus for overloaded functions with subtyping. Technical report, Ecole Normale Superieure.
37. Castagna, G. and Pierce, B. (1994) Decidable bounded quantification. In: Proc. ACM Symp. on Principles of Program. Lang.
38. Cook, W.R. (1989a) A Denotational Semantics of Inheritance. PhD thesis, Brown University.
39. Cook, W.R. (1989b) A proposal for making Eiffel type-safe. In: Euro. Conf. on Object-Oriented Program., pp. 57–72.
40. Cook, W.R., Hill, W.L. and Canning, P.S. (1990) Inheritance is not subtyping. In: Proc. 17th ACM Symp. on Principles of Program. Lang., pp. 125–135, January.
41. Cook, W. and Palsberg, J. (1989) A denotational semantics of inheritance and its correctness. In: Proc. ACM Conf. on Object-Oriented Program.: Syst., Lang, and Applic., pp. 433–444.
42. Cox, B. (1986) Object-Oriented Programming; An evolutionary appoach. Addison-Wesley, Reading, MA.
43. Curien, P.L. and Ghelli, G. (1992) Coherence of subsumption, minimum typing and type-checking in F. Mathematical Structures in Comput. Sci. 2: 55–91.
44. Danforth, S. and Tomlinson, C. (1988) Type theories and object-oriented programming. ACM Comput. Surv. 20(1): 29–72.
45. Dimock, A. and Muller, R. (1992) Private communication.
46. Ghelli, G. (1991) A static type system for message passing. In: OOPSLA Proc., pp. 129–145. (ACM SIGPLAN Not. 26(11), November.)
47. Goldberg, A. and Robson, D. (1983) Smalltalk-80: The language and its implementation. Addison Wesley, Reading, MA.
48. Gunter, C.A. (1992) Semantics of Programming Languages: Structures and Techniques. MIT Press, Cambridge, MA.
49. Hense, A.V. (1990) Denotational semantics of an object oriented programming language with explicit wrappers. Technical Report A 11/90 Universitat des Saarlandes.
50. Hense, A.V. (1991) Wrapper semantics of an object oriented programming language with state. In: TACS Proc., pp. 548–568, Springer.
51. Kamin, S. (1988) Inheritance in Smalltalk-80: a denotational definition. In: ACM Symp. Principles of Program. Lang., pp. 80–87.
52. Kozen, D., Palsberg, J. and Schwartzbach, M.I. (1993) Efficient recursive subtyping. In: 20th ACM Symp. Principles of Program. Lang.
53. Liskov, B. (1988) Data abstraction and hierarchy. In: OOPSLA Addendum to Proc., pp. 17–34. (ACM SIGPLAN Not. 23(5), May.)
54. Madsen, O., Magnusson, B. and Moller-Pedersen, B. (1990) Strong typing of object-oriented languages revisited. In: OOPSLA-ECOOP Proc., pp. 140–150. (i4CAf SIGPLAN Not. 25(10), October.
55. Meyer, B. (1988) Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ.
56. Meyer, B. (1992) Eiffel: The language. Prentice-Hall, Englewood Cliffs, NJ.
57. Mitchell, J.C. (1984) Type inference and type containment. In: Proc. Int. Symp. on Semantics of Data Types - Lecture Notes in Computer Science 173, Sophia-Antipolis, France, pp. 257–278, June, Springer.
58. Mitchell, J.C. (1988) Polymorphic type inference and containment. Infor. and Computation 76(2/3): 211–249. (Reprinted in G. Huet, Ed., Logical Foundations of Functional Programming, Addison-Wesley, Reading, MA, 1990, pp. 153-194.)
59. Mitchell, J.C. (1990a) Toward a typed foundation for method specialization and inheritance. In: Proc. 17th ACM Symp. on Principles of Progra. Lang., pp. 109–124, January.
60. Mitchell, J.C. (1990b) Type systems for programming languages. In: J. van Leeuwen, Ed., Handbook of Theoretical Computer Science, Volume B, pp. 365–458, North-Holland, Amsterdam.
61. Mitchell, J.C. and Plotkin, G.D. (1988) Abstract types have existential types. ACM Trans. Program. Lang, and Syst. 10(3): 470–502. (Preliminary version appeared in Proc. 12th ACM Symp. on Principles of Program. Lang.)
62. Moon, D. (1986) Object-oriented programming with flavors. In: Proc.,4CM Conf on Object-Oriented Program.: Syst., Lang, and Applic., pp. 1–9.
63. Omohundro, S.M. (1991) The Sather language. Technical report, International Computer Science Institute.
64. Palsberg, J. and Schwartzback, M. (1990) Type substitution for object-oriented programming. In: OOPSLA-ECOOP Proc., pp. 151–160. (ACM SIGPLAN Not. 25(10), October.)
65. Palsberg, J. and Schwartzback, M. (1991) Static typing for object-oriented programming. Technical report, Aarhus University Computer Science Department.
66. Pierce, B.C. (1992) Bounded quantification is undecidable. In: Proc. 19th ACM Symp. Principles of Program. Lang., pp. 305–315.
67. Pierce, B.C. and Hoffman, M. (1992) An abstract view of objects and subtyping (preliminary report). Technical Report ECS-LFCS-92-226, University of Edinburgh.
68. Pierce, B.C. and Turner, D.N. (1992a) Simple type-theoretic foundations for object-oriented programming. Technical report, University of Edinburgh.
69. Pierce, B.C. and Turner, D.N. (1992b) Statically typed multi-methods via partially abstract types. Technical Report, University of Edinburgh.
70. Pierce, B.C. and Turner, D.N. (1993) Object-oriented programming without recursive types. In: Proc 20th ACM Symp. Principles of Program. Lang., pp. 299–312.
71. Reddy, U.S. (1988) Objects as closures: Abstract semantics of object-oriented languages. In: Proc. ACM Symp. Lisp and Functional Program. Lang., pp. 289–297, July.
72. Reynolds, J.C. (1980) Using category theory to design implicit conversions and generic operators. In N.D. Jones, Ed., Semantics-Directed Compiler Generation - Lecture Notes in Computer Science 94, pp. 211–2580, Springer.
73. Schaffert, C., Cooper, T., Bullis, B., Kilian, M. and Wilpolt, C. (1986) An introduction to Trellis/Owl. In: OOPSLA Proc., pp. 9–16. {ACM SIGPLAN Not. 21(11), November.)
74. Snyder, A. (1986) Encapsulation and inheritance in object-oriented programming languages. In: Proc. 1st ACM Symp. on Object-Oriented Program. Syst., Lang, and Applic., pp. 38–46, October.
75. Stroustrop, B. (1986) The C++Programming Language. Addison-Wesley, Reading MA.
76. Tesler, L. (1985) Object Pascal report. Technical Report 1, Apple Computer
77. van Gent, R. (1993) TOIL: An imperative type-safe object-oriented language. Williams College Senior Honors Thesis.
78. Wegner, P. (1990) Concepts and paradigms of object-oriented programming. OOPS Messenger 1(1): 7–87, August.
79. Wirth, N. (1988) The programming language Oberon. Software - Practice and Experience 18: 671–690.