An Algebraic Semantics of Subobjects

ACM SIGPLAN Notices

Volumn 30, Issue 10, 1995, Pages 187-199

  Rossie, Jonathan G ^a   Friedman, Daniel P ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976709432     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/217839.217860     Document Type: Article

References (34)

1. bobrow, d. g., kahn, k., kiczales, g., masinter,L., stefik M., and zdybel F. CommonLoops: Merging Lisp and object-oriented programming. In Proceedings OOPSLA ’86, ACM SIGPLAN Notices (1986), pp. 17–29.
2. Borning A., and Ingalls D. Multiple inheritance in Smalltalk-80. In Proceedings AAAI '82 (1982), pp. 234–237.
3. CARDELLI, L. A semantics for multiple inheritance. In Semantics of Data Types, G. Kahn, D. B. MacQueen, and G. Plotkin, Eds., LNCS 173. Springer-Verlag, New York, 1984, pp. 51–67.
4. CARDELLI, L. A semantics of multiple inheritance. Information and Computation 76 (1988), 138–164. Special issue devoted to Symp. on Semantics of Data Types, Sophia-Antipolis (France), 1984.
5. CARDELLI, L., and WEGNER, P. On understanding types, data abstraction, and polymorphism. Computing Surveys 17,4 (1985), 471–522.
6. cargill, T. A. Controversy: The case against multiple inheritance in C++. Computing Systems 4, 1 (1991), 69–82.
7. carre, B., and geib J.-M. The point of view notion for multiple inheritance. In Proceedings OOPSLA-ECOOP '90, ACM SIGPLAN Notices (1990), pp. 312–321.
8. COMPAGNONI, A. B., and pierce, B. C. Multiple inheritance via intersection types. Tech. Rep. ECS-LFCS-93-275, University of Edinburgh, 1993. Also Technical Report 93–18, C.S. Department, Catholic University Nijmegen. [9] cook, w., and palsberg, J. A denotational semantics of inheritance and its correctness. In Proceedings OOPSLA ' 89, ACM SIGPLAN Notices (1989), pp. 433–443.
9. COOK, W. R. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989. Technical Report CS-89-33.
10. davey, B. A., and priestly H. A. Introduction to Lattices and Order. Cambridge University Press, 1990.
11. ducournau, R., and habib, M. On some algorithms for multiple inheritance in object oriented programming. In Proceedings ECOOP '87(1987), LNCS 276, Springer-Verlag, pp. 243–252.
12. ducournau, R., habib M., huchard, m., AND mugnier M. L. Monotonic conflict resolution mechanisms for multiple inheritance. In Proceedings OOPSLA '92, ACM SIGPLAN Notices (1992), pp. 16–24.
13. ducournau, R., habib M., huchard, M., AND MUGNIER, M. L. Proposal for a monotonic multiple inheritance linearization. In Proceedings OOPSLA ' 94, ACMSIGPLAN Notices (1994), pp. 164–175.
14. ellis, M. A., and stroustrup, B. The Annotated C+ + Reference Manual. Addison-Wesley, 1990.
15. [16] friedman, D. p., haynes, C. t., mend-HEKAR, A., AND ROSSIE, jr., j. g.Scheme++: A Static Object-Oriented Scheme Extension with Multiple Inheritance, v1.O. Indiana University Dept. of Computer Science, 1995. Work in Progress.
16. goldberg, A., and robson, D. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA, 1983.
17. interactive software engineering, inc.Eiffel Reference Manual, August 1989. Technical Report TR-EI-17/RM (version 2.2). [19] kamin, s. Inheritance in smalltalk-80: a denotational definition. In Proceedings POPL '88 (1988), pp. 80–87.
18. knudsen, J. L. Name collision in multiple classification hierarchies. In Proceedings ECOOP ' 88 (1988), LNCS 322, Springer-Verlag, pp. 93–108.
19. [21] krogdahl, S. Multiple inheritance in Simula-like languages. BIT 25 (1984), 318–326.
20. meyer, B. Eiffel: The Language. Prentice Hall, 1992.
21. MOON, D. A. Object-oriented programming with Flavors. In Proceedings OOPSLA '86, ACM SIG-PLAN Notices (1986), pp. 1–8.
22. [24] perlis, A. J. Epigrams on programming. SIG-PLAN Notices 17, 9 (September 1982), 7–13.
23. PIERCE, B. C. Programming with Intersection Types and Bounded Polymorphism. PhD thesis, Carnegie-Mellon University, Pittsburgh, PA, December 1991.
24. reddy, U. Objects as closures: Abstract semantics of object-oriented languages. In Conf. on LISP and Functional Programming (1988).
25. sakkinen, M. Disciplined inheritance. In Proceedings ECOOP '89 (1989), The British Computer Society Workshop Series, Cambridge University Press, pp. 39–56.
26. [28] sakkinen M. A critique of the inheritance principles of C++. Computing Systems 5,1 (1992), 69–110.
27. SCHAFFERT, C., COOPER, T., BULLIS, B., KILLIAN, M., AND WILPOLT C. An introduction to Trellis/Owl. In Proceedings OOPSLA '86, ACM SIGPLAN Notices (Nov. 1986), pp. 9–16. Published as Proceedings OOPSLA '86, ACM SIG-PLAN Notices, volume 21, number 11.
28. seligman, A. FACTS: A formal analysis of C++: Type rules and semantics. B.A. Honors Thesis, Williams College, May 1995. [31] snyder, A. CommonObjects: An overview. ACM SIGPLAN Notices 21, 10 (October 1986), 19-28
29. SNYDER, A. Inheritance and the development of encapsulated software components. In Research Directions in Object-Oriented Programming, B. Shriver and P. Wegner, Eds. MIT Press, 1987, pp. 165–188.
30. snyder, A. Modeling the C++ object model, an application of an abstract object model. In Proceedings ECOOP ' 91 (1991), LNCS 512, Springer-Verlag, pp. 1–20.
31. STEELE JR., G. L. Common Lisp: The Language, 2nd ed. Digital Press, 1990.
32. STROUSTRUP, B. Multiple inheritance for C++. Computing Systems 2, 4 (1989).
33. TOURETZKY, D. S. The Mathematics of Inheritance Systems. Research Notes in Artificial Intelligence. Pitman, 1986.
34. wallace, C. The semantics of the C++ programming language. In Specification and Validation Methods for Programming Languages, E. Boerger, Ed. Clarendon Press, Oxford, 1995, pp. 131–163.