Extension of record types

Publisher Website
Google Scholar
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 set hierarchy. Variables of an extended type form a subset of the variables of the ancestor type. This scheme is easily and efficiently implementable, and is manifest by two new language constructs only: the type test and the type guard.

This publication has 1 reference indexed in Scilit: