Designing an object-oriented programming language with behavioural subtyping

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

Volumn 489 LNCS, Issue , 1991, Pages 60-90

  America, Pierre ^a  

^a PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTER PROGRAMMING LANGUAGES; FORMAL LANGUAGES; LAKES;

BEHAVIOURAL SUBTYPING; DYNAMIC TYPE; FLEXIBLE USE; GENERICITY; LANGUAGE DESIGN; SUBTYPINGS; TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 84974720115     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0019440     Document Type: Conference Paper

References (16)

1. Pierre America. A proof theory for a sequential version of POOL. ESPRIT Project 415 Document 188, Philips Research Laboratories, Eindhoven, the Netherlands, October 1986.
2. Pierre America. Inheritance and subtyping in a parallel object-oriented language. In ECOOP ‘87: European Conference on Object-Oriented Programming, Paris, France, June 15–17, 1987. Springer Lecture Notes in Computer Science, Volume 276, pages 234–242.
3. Pierre America. POOL-T: A parallel object-oriented language. In Akinori Yonezawa and Mario Tokoro, editors, Object-Oriented Concurrent Programming, pages 199–220. MIT Press, 1987.
4. Pierre America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366–411, 1989.
5. Pierre America and Frank van der Linden. A parallel object-oriented language with inheritance and subtyping. In Proceedings of the ECOOP/OOPSLA Conference, Ottawa, Canada, October, 21–25, 1990.
6. Luca Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138–164, 1988.
7. William Cook, Walt Hill, and Peter Canning. Inheritance is not subtyping. Report STL-89-17, Hewlett-Packard Laboratories, Palo Alto, California, July 1989. In Proceedings of the ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), January 17–19, 1990.
8. Ole-Johan Dahl and Kristen Nygaard. Simula: An ALGOL-based simulation language. Communications of the ACM, 9(9):671–678, September 1966.
9. Adele Goldberg and David Robson. Smalltalk-80, The Language and its Implementation. Addison-Wesley, 1983.
10. C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1:271–281, 1972.
11. Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.
12. John C. Mitchell. Polymorphic type inference and containment. Information and Computation, 76:211–249, 1988.
13. Mark Stefik and Daniel G. Bobrow. Object-oriented programming: Themes and variations. AI Magazine, 6(4):40–62, January 1986.
14. Craig Schaffert, Topher Cooper, Bruce Bullis, Mike Kilian, and Carrie Wilpolt. An introduction to Trellis/Owl. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Portland, Oregon, September 1986, pages 9–16.
15. Alan Snyder. Encapsulation and inheritance in object-oriented programming languages. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Portland, Oregon, September 1986, pages 38–45.
16. William A. Wulf, Roy Levin, and Samuel P. Harbison. HYDRA/C.mmp: An Experimental Computer System. McGraw-Hill, 1981.