Abstract

Software systems represent a hierarchy of modules. Client modules contain sets of procedures that extend the capabilities of imported modules. This concept of extension is here applied to data types. Extended types are related to their ancestor in terms of a hierarchy. Variables of an extended type are compatible with variables of the ancestor type. This scheme is expressed by three language constructs only: the declaration of extended record types, the type test, and the type guard. The facility of extended types, which closely resembles the class concept, is defined in rigorous and concise terms, and an efficient implementation is presented.

Citations

1392	The C++ Programming Language - Stroustrup - 1995
1208	SmallTalk-80: The Language and its Implementation - Goldberg, Robson - 1983
4	R.Sweet: Mesa language manual, Xerox PARC - Mitchell - 1979
3	Object Pascal Report," Structured Language World - Tesler - 1985
1	A small taste of Smalltalk. BYTE(Aug - KAEHLER, PATTERSON - 1986
1	Programming in Module2 - WIRTH - 1982