Inheritance as an incremental modification mechanism or what like is and Isn’t like

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 322 LNCS, Issue , 1988, Pages 55-77

  Wegner, Peter ^a   Zdonik, Stanley B ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

ALGEBRAIC MODELS; BEHAVIORAL COMPATIBILITIES; CONCEPTUAL MODEL; FUNDAMENTAL MECHANISMS; INCREMENTAL CHANGES; MODIFICATION MECHANISM; PARAMETRIC POLYMORPHISM; SOFTWARE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 84976858772     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45910-3_4     Document Type: Conference Paper

References (27)

1. Ait Kaci H. and Nasr R., Login: A Logic Programming Language with Built-in Inheritance, Journal of Logic Programming, 1986.
2. Borgida A., Exceptions in Object-Oriented Languages, Sigplan Notices, Oct 1986.
3. Brachman, R., “I Lied About the Trees Or Defaults and Definitions in Knowledge Representation”, AI Magazine, Fall, 1985.
4. Brachman, R., “What Is-a is and Isn’t”, AI Magazine, Fall 1985.
5. Bruce K. B., and Wegner P., An Algebraic Model of Subtypes and Inheritance, Brown University Report, July 1987, also in Proc Roscoff Conference on Database Programming Languages, Sept 1987.
6. Cardelli L., A Semantics of Multiple Inheritance, In LNCS Vol 173, Ed G. Kahn, 1984.
7. Cardelli, L. and Wegner, P., On Understanding, Types, Data Abstraction, and Polymorphism, ACM Computing Surveys, December, 1985.
8. Cook, W., A Denotational Semantic Model of Inheritance, Forthcoming PhD Thesis, Brown University Summer 1988.
9. Cook, W., The Semantics of Inheritance, Brown University Technical Report, March 1988.
10. Ada Reference Manual, US Dept of Defense, July 1980.
11. Etherington D. W., Formalizing Nonmonotonic Reasoning, Artificial Intelligence, 1987.
12. Goldberg, A. and Robson. Smalltalk 80: The Language and Its Implementation, Addison-Wesley, 1983.
13. Harper R., An Introduction to ML, Edinburgh University Technical Report, 1987.
14. Liskov B., Snyder A., Atkinson R., and Schaffert C., Abstraction Mechanisms in CLU, CACM, August 1987.
15. Meyer B., Object-Oriented Software Construction, Prentice Hall. 1988.
16. Milner R., A Proposal for Standard ML, Proc Symposium on Lisp and Functional Programming, ACM, August 1984.
17. Martin-Lof P., Constructive Mathematics and Computer Programming, in Mathematical Logic and Computer Programming, Hoare and Shepherdson Eds. Prentice Hall International, 1985.
18. Reiter R., A Logic for Default Reasoning, Artificial Intelligence, 1980.
19. Scott D., Data Types as Lattices, Siam Journal of Computing, September 1976.
20. Snyder, A., Encapsulation and Inheritance in Object-Oriented Languages, OOPSLA, 1986.
21. Strachey C., Fundamental Concepts in Programming Languages, lecture Notes for International Summer School in Computer Programming, Copenhagen. August 1967.
22. Thomason, R. H., Horty, J. F., and Touretzky, D., A Calculus for Inheritance in Monotonic Semantic Nets, CMU-CS-86-138, July 1986.
23. Touretzky, D. S., Horty, J. F., and Thomasson R. H., A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. Proc IJCAI-87.
24. Touretzky, D., The Mathematical Theory of Inheritance, Morgan-Kaufman. 1986.
25. Wegner, P., Object-Oriented Concept Hierarchies. Brown University Technical Report, May 1988.
26. Wegner, P., The Object-Oriented Classification Paradigm, in Research Directions in Object-Oriented Programming, Edited by Shriver and Wegner. MIT Press, 1987.
27. Zdonik S. B., Can Objects Change Type? Can Type Objects Change?, Proc Roscoff Conference on Database Programming Languages. Sept 1987.