Strong Typing of Object-Oriented Languages Revisited Export

@inproceedings{citeulike:4637337, abstract = {This paper is concerned with the relation between subtyping and subclassing and their inuence on programming language design. Traditionally subclassing as introduced by Simula has also been used for dening a hierarchical type system. The type system of a language can be characterized as strong or weak and the type checking mechanism as static or dynamic. Parameterized classes in combination with a hierarchical type-system is an example of a language construct that is known to create complicated type checking situations. In this paper these situations are analyzed and several dierent solutions are found. It is argued that an approach with a combination of static and dynamic type checking gives a reasonable balance also here. It is also concluded that this approach makes it possible to base the type system on the class/subclass mechanism. 2 1 Introduction The purpose of this paper is to contribute to the clarication of typing issues in object-oriented languages. The is...}, author = {Madsen, Ole L. and Magnusson, Boris}, booktitle = {In OOPSLA-ECOOP \&\#039;90 Proceedings, pages 140--150. ACM SIGPLAN Notices,25(10}, citeulike-article-id = {4637337}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.928}, keywords = {oop, type-theory}, pages = {140--150}, posted-at = {2009-05-26 21:51:54}, priority = {2}, title = {Strong Typing of Object-Oriented Languages Revisited}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.928}, volume = {25}, year = {1990} }

TY - CONF ID - citeulike:4637337 L3 - citeulike-article-id:4637337 N2 - This paper is concerned with the relation between subtyping and subclassing and their inuence on programming language design. Traditionally subclassing as introduced by Simula has also been used for dening a hierarchical type system. The type system of a language can be characterized as strong or weak and the type checking mechanism as static or dynamic. Parameterized classes in combination with a hierarchical type-system is an example of a language construct that is known to create complicated type checking situations. In this paper these situations are analyzed and several dierent solutions are found. It is argued that an approach with a combination of static and dynamic type checking gives a reasonable balance also here. It is also concluded that this approach makes it possible to base the type system on the class/subclass mechanism. 2 1 Introduction The purpose of this paper is to contribute to the clarication of typing issues in object-oriented languages. The is... EP - 150 TI - Strong Typing of Object-Oriented Languages Revisited VL - 25 T2 - In OOPSLA-ECOOP '90 Proceedings, pages 140--150. ACM SIGPLAN Notices,25(10 SP - 140 KW - oop KW - type-theory AU - Madsen, Ole AU - Magnusson, Boris PY - 1990/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.928 ER -