Advertisement

A reflective model of inheritance

  • Suresh Jagannathan
  • Gul Agha
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 615)

Keywords

Object Generator Exception Handler Reflective Model Common Lisp Public Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Harold Abelson and Gerald Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, Mass., 1985.Google Scholar
  2. 2.
    Norman Adams and Jonathan Rees. Object-Oriented Programming in Scheme. In Proceedings of the 1988 Conference on Lisp and Functional Programming, pages 277–288, 1988.Google Scholar
  3. 3.
    Pierre America. Issues in the design of a parallel object-oriented language. In Pierre America and Jan Rutten, editors, A Parallel Object-Oriented Language: Design and Semantic Foundations, chapter 2. Centrum voor Wiskunde en Informatica, Amsterdam, Netherlands, 1989. in PhD thesis.Google Scholar
  4. 4.
    H. Barendregt. The Lambda Calculus. North-Holland, 1981.Google Scholar
  5. 5.
    Daniel Bobrow, Linda DiMichiel, Richard Gabriel, Sonya Keene, Gregor Kicczales, and David Moon. Common Lisp Object System Specification 1. Programmer Interface Concepts. Lisp and Symbolic Computation, pages 245–298, January 1989.Google Scholar
  6. 6.
    Robert Burstall and Butler Lampson. A Kernel Language for Modules and Abstract Data Types. In International Symposium on Semantics of Data Types. Springer-Verlag, 1984. Lecture Notes in Computer Science, Number 173.Google Scholar
  7. 7.
    Luca Cardelli. A Semantics of Multiple Inheritance. In International Symposium on Semantics of Data Types. Springer-Verlag, 1984. Lecture Notes in Computer Science, Number 173.Google Scholar
  8. 8.
    Luca Cardelli and Peter Wegner. On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys, 17(4):471–522, 1985.CrossRefGoogle Scholar
  9. 9.
    Craig Chambers and David Ungar. Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language. In ACM SIGPLAN '89 Conference on Programming Language Design and Implementation, pages 146–160, June 1989.Google Scholar
  10. 10.
    William Cook, Walter Hill, and Peter Canning. Inheritance is Not Subtyping. In 17 th ACM Symposium on Principles of Programming Languages, pages 125–135, 1990.Google Scholar
  11. 11.
    William Cook and Jens Palsberg. A Denotational Semantics of Inheritance and its Correctness. In OOPSLA'89 Conference Proceedings, pages 433–444, 1989. Published as SIGPLAN Notices 24(10), October, 1989.Google Scholar
  12. 12.
    O.J. Dahl, B. Myhruhaug, and K. Nygaard. The Simula67 Base Common Base Language. Technical report, Norwegien Computing Center, 1970.Google Scholar
  13. 13.
    Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley Press, 1983.Google Scholar
  14. 14.
    Michael Gordon. The Denotational Description of Programming Languages. Springer-Verlag, 1979.Google Scholar
  15. 15.
    Justin Graver and Ralph Johnson. A Type System for Smalltalk. In 17 th ACM Symposium on Principles of Programming Languages, pages 136–150, 1990.Google Scholar
  16. 16.
    Daniel Ingalls. The Smalltalk-76 Programming System: Design and Implementation. In Fifth ACM Symposium on Principles of Programming Languages Conf., pages 9–16, January 1978.Google Scholar
  17. 17.
    Suresh Jagannathan. A Programming Language Supporting First-Class, Parallel Environments. Technical Report LCS-TR 434, Massachusetts Institute of Technology, December 1988.Google Scholar
  18. 18.
    Suresh Jagannathan. Environment-based reflection. Technical Report 91-001-3-0050-1, NEC Research Institute, January 1991.Google Scholar
  19. 19.
    Samuel Kamin. Inheritance in Smalltalk-80: A Denotational Definition. In 15 th ACM Symposium on Principles of Programming Languages, pages 80–87, 1988.Google Scholar
  20. 20.
    Eugene Kohlbecker and Mitch Wand. Macro-by-Example: Deriving Syntactic Transformations from their Specifications. In 14 th ACM Symposium on Principles of Programming Languages, pages 77–85, 1987.Google Scholar
  21. 21.
    B.B. Kristensen, O.L. Madsen, B. MØller-Pedersen, and K. Nygaard. The BEA Programming Language. In Bruce Shiver and Peter Wegner, editors, Research Directions in Object-Oriented Programming. MIT Press, 1987.Google Scholar
  22. 22.
    Henry Liebermann. Using Prototypical Objects to Implement Shared Behavior in Object-Oriented Systems. In OOPSLA '86 Conference Proceedings, pages 214–223, 1986. Published as SIGPLAN Notice 21(11), November 1986.Google Scholar
  23. 23.
    Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa. Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming. In Proceedings of European Conference on Object-Oriented Programming, pages 231—250, 1991. Published as Springer-Verlag LNCS 512.Google Scholar
  24. 24.
    Jens Palsberg and Michal Schwartzbach. Object-Oriented Type Inference. In OOPSLA '91 Conference Proceedings, pages 146–161, 1991.Google Scholar
  25. 25.
    Gordon Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Dept., Aarhus University, 1981.Google Scholar
  26. 26.
    Uday Reddy. Objects as Closures: Abstract Semantics of Object-Oriented Languages. In Proceedings of the Conference 1988 on Lisp and Functional Programming, pages 289–297, 1988.Google Scholar
  27. 27.
    Brian Smith. Reflection and Semantics in a Procedural Language. PhD thesis, Massachusetts Institute of Technology, 1982.Google Scholar
  28. 28.
    Alan Snyder. Encapsulation and inheritance in object-oriented languages. In Object-Oriented Programming Systems, Languages and Applications Conference Proceedings, pages 38–45. ACM Press, 1986.Google Scholar
  29. 29.
    Guy Steele Jr. Common Lisp: The Language, Second Edition. Digital Press, 1990.Google Scholar
  30. 30.
    Lynn Stein. Delegation is Inheritance. In OOPSLA '87 Conference Proceedings, pages 138–146, 1987. Published as SIGPLAN Notices 22(12), December, 1987.Google Scholar
  31. 31.
    David Ungar and Randall Smith. SELF: The Power of Simplicity. In OOPSLA'87 Conference Proceedings, pages 227–241, 1987. Published as SIGPLAN Notices 22(12), December, 1987.Google Scholar
  32. 32.
    Mitchell Wand. Complete Type Inference for Simple Objects. In Second IEEE Symposium on Logic in Computer Science, pages 37–44, 1987.Google Scholar
  33. 33.
    Mitchell Wand and Daniel Friedman. The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower. In Proceedings of the 1986 Conference on Lisp and Functional Programming, pages 298–307, 1986.Google Scholar
  34. 34.
    Akinori Yonezawa and Takuo Watanabe. An Introduction to Object-Based Reflective Concurrent Computations. In Proceedings of the 1988 ACM SIGPLAN Workshop on Object-Based Concurrent Programming, pages 50–54, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Suresh Jagannathan
    • 1
  • Gul Agha
    • 2
  1. 1.Computer Science ResearchNEC Research InstitutePrinceton
  2. 2.Dept. of Computer ScienceUniversity of IllinoisUrbana

Personalised recommendations