Interfaces for strongly-typed object-oriented programming

Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1989

Volumn , Issue , 1989, Pages 457-467

  Canning, Peter S ^a   Cook, William R ^a   Hill, Walter L ^a   Olthoff, Walter G ^a  

^a HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; MODULA (PROGRAMMING LANGUAGE);

MODULE INTERFACES; OBJECT INTERFACES; OBJECT-ORIENTED SYSTEM; POLYMORPHIC TYPES; SMALLTALK;

OBJECT ORIENTED PROGRAMMING;

EID: 85034058170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/74877.74924     Document Type: Conference Paper

References (33)

1. V. Breazu-Tannen, T. Coquand, C. Gunter, and A. Scedrov. "Inheritance and explicit coercion". In Logic in Computer Science, 1989.
2. A. Black, N. Hutchinson, E. Jul, H. Levy, and L. Carter. "Distribution and abstract types in Emerald". IEEE Transactions on Software Engineering, SE-13(1), 1987.
3. A. H. Borning and D. H. Ingalls. "A type declaration and inference system for Smalltalk". In ACM Symposium on Principles of Programming Languages, 1982.
4. R. Burstall, B. Lampson. "A kernel language for abstract data types and modules". In Semantics of Data Types, LNCS 173. Springer-Verlag, 1984.
5. K. Bruce and G. Longo. "A modest model of records, inheritance and bounded quantification". In Logic in Computer Science, 1988.
6. L. Cardelli. "A semantics of multiple inheritance". In Semantics of Data Types, LNCS 173. Springer-Verlag, 1984.
7. L. Cardelli. "Amber". In Combinators and Functional Programming Languages, LNCS 242. Springer-Verlag, 1986.
8. L. Cardelli. "Structural subtyping and the notion of power type". In ACM Symposium on Principles of Programming Languages, 1988.
9. W. Cook, P. Canning, and W. Hill. "Inheritance in strongly-typed object-oriented programming". In preparation.
10. P. Canning, W. Cook, W. Hill, W. Olthoff, and J. Mitchell. "F-Bounded quantification for object-oriented programming". In Functional Programming Languages and Computer Architectures, 1989.
11. L. Cardelli, J. Donahue, B. Kaslow, and G. Nelson. "The Modula-3 type system". In ACM Symposium on Principles of Programming Languages, 1989.
12. P. Canning, W. Hill, and W. Olthoff. "Towards a kernel language for object-oriented programming". Technical Report STL-88-21, Hewlett-Packard Laboratories, 1988.
13. L. Cardelli and J. Mitchell. "Semantic methods for object-oriented languages", part 2. OOPSLA'88 Tutorial on Semantics of Inheritance.
14. W. R. Cook. "A proposal for making Eiffel type-safe". In European Conference on Object-Oriented Programming, 1989.
15. W. R. Cook. "A denotational semantics of inheritance". Ph. D. Thesis, Brown University, 1989.
16. W. R. Cook and J. Palsberg. "A denotational model of inheritance and its correctness". In Object-Oriented Programming Systems, Languages, and Applications, 1989.
17. L. Cardelli and P. Wegner. "On understanding types, data abstraction, and polymorphism". Computing Surveys, 17(4):471-522, 1985.
18. U. S. Department of Defense. Reference Manual for the Ada Programming Language. 1983.
19. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I. Springer-Verlag, 1985.
20. J-Y. Girard. "Interpretation fonctionelle et elimination des coupres de l'arithmetique d'order superieur". These d'Etat, Paris, 1972.
21. A. Goldberg and D. Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, 1983.
22. J. Guttag, J. Horning, J. Wing. "Larch in five easy pieces". Technical Report 5, Digital Equipment Corp. - Systems Research Center, 1985.
23. R. Harper, R. Milner, M. Tofte. "The Definition of Standard ML, Version 2". LFCS Report, University of Edinburgh, 1988.
24. R. Johnson, J. Graver, and L. Zurawski. "TS: An optimizing compiler for Smalltalk". In Object-Oriented Programming Systems, Languages, and Applications, 1988.
25. L. Jategaonkar and J. Mitchell. "ML with extended pattern matching and subtypes". In Lisp and Functional Programming, 1988.
26. H. Lieberman. "Using prototypical objects to implement shared behavior in an object-oriented System". In Object-Oriented Programming Systems, Languages, and Applications, 1986.
27. B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1987.
28. U. Reddy. "Objects as closures: abstract semantics of object oriented languages". In Lisp and Functional Programming, 1988.
29. J. Reynolds. "Towards a theory of type structure". In J. Loeckx, ed., Conference on Programming. Springer-Verlag, New York, 1974.
30. C. Schaffert, T. Cooper, B. Bullis. "An introduction to Trellis/Owl". Object-Oriented Programming Systems, Languages, and Applications, 1986.
31. A. Snyder. "Encapsulation and inheritance in object-oriented programming languages". In Object-Oriented Programming Systems, Languages, and Applications, 1986.
32. B. Stroustrup. The C++ Programming Language. Addison-Wesley, 1986.
33. M. Wand. "Type inference for record concatenation and inheritance". In Logic in Computer Science, 1989.