Extension of record types

  • Authors:
  • Niklaus Wirth

  • Affiliations:
  • ETH Zürich

  • Venue:
  • ACM SIGCSE Bulletin
  • Year:
  • 1987

Quantified Score

Hi-index 0.01

Visualization

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.