Strong typing of object-oriented languages revisited

Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990

Volumn , Issue , 1990, Pages 140-150

  Madsen, Ole Lehrmann ^a   Magnusson, Boris ^b   Møller Pedersen, Birger ^c  

^a AARHUS UNIVERSITY   (Denmark)

^b LUND UNIVERSITY   (Sweden)

^c NORWEGIAN COMPUTING CENTER   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; DYNAMICS;

DYNAMIC TYPE; LANGUAGE CONSTRUCTS; PARAMETERIZED; PROGRAMMING LANGUAGE DESIGN; SUBCLASSING; TYPE SYSTEMS; TYPECHECKING;

OBJECT ORIENTED PROGRAMMING;

EID: 85029516965     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/97945.97964     Document Type: Conference Paper

References (16)

1. P.S. Canning, W.R. Cook, W.L. Hill, W.G. Olthoff: Interfaces for Strongly-Typed Object-Oriented Programming, In OOPSLA'89, Object-Oriented Progiamming Systems, Languages and Applications, Sigplan Notices, Vol. 24, No. 10, Oct. 1989
2. W. R. Cook: A Proposal for Making Eiffel Type Safe, In ECOOP'89, European Conference on Object-Oriented Programming, Cambridge University Press 1989.
3. O.-J, Dahl and K. Nygaard: Simula-67 Common Base Language Publication S-22, Norwegian Computing Center, Oslo 70, 72, 84. Current version: Programming Language - Simula, Swedish Standard SS.63.61.14, ISBN-91-7162-234-9
4. O.-J. Dahl and K. Nygaard: The Development of the Simula Languages, In History of Programming Languages, ed. R. W. Wexelblat, Academic Press, New York, 1981.
5. A. Goldberg and D. Robson: Smalltalk-80: The Language and its Implementation, Addison-Wesley Publishing Company, 1983.
6. B.B. Kristensen, O.L. Madsen, B. Møller-Pedeirsen, K. Nygaard: Syntax Directed Program Modularization, In: Interactive Computing Systems (ed. P. Degano, E. Sandewall), North-Holland, 1983
7. B.B. Kristensen, O.L. Madsen, B. Møller-Pedeisen: The BETA Programming Language, In: II.D. Shriver, P. Wegner (ed.), Research Directions in Object-Oriented Programming, MIT Press, 1987.
8. O.L. Madsen and B. Møller-Pedersen: What Object-Oriented Programming may be - and what it does not have to be In ECOOP'88, European Conference on Object-Oriented Programming, Lecture Notes In Computer Science, Vol. 322, Springer Verlag, 1988.
9. O.L. Madsen and B. Møller-Pedersen: Virtual Classes - A Powerful Mechanism in Object-Oriented Programming, In OOPSLA'89, Object-Oriented Programming Systems, Languages and Applications, Sigplan Notices, Vol. 24, No. 10, Oct. 1989
10. B. Meyer: Object Oriented Software Construction, Prentice-Hall 1988
11. B. Müyei: Static Typing for Eiffel. Interactive Software Engineering Inc., July 2, 1989
12. K. Nygaard: Basic Concepts in Object Oriented Programming, Sigplan Notices, Vol. 21, No. 10, 128-132 (October 1986).
13. J. Palsberg. M. I. Schwartzbach: Substitution Polymorphism for Object-Oriented Programming, In OOPSLA/ECOOP'90, Object-Oriented Programming Systems, Languages and Applications, Sigplan Notices, 1990.
14. C. Schaffert et. al: An Introduction to Trellis/Owl, In OOPSLA86, Object-Oriented Programming Systems, Languages and Applications, Sigplan Notices, Vol. 21, No. 11, Nov. 1986.
15. B. Stroustrup: The C++ Programming Language, Addison Wesley, 1986.
16. N. Wirth : The Programming Language Pascal, Acta Informatica 1, 1971, 35-63.