HP Labs Technical Reports

HP-SL Abstract Type Syntax (Records and Unions)

Goldsack, Patrick

HPL-91-69
August, 1991

Keyword(s):

Abstract: The report outlines the derived syntax provided within the HP-SL specification language to enable the definition of record and union types. It describes the notation at two levels. First it describes the notion requirements for such a notation by way of an exampl the informally defines the derived shorthand notation. Secondly it provides a detailed definition by way of an axiom schemas of the translation between the derived notation and the base HP-SL notation.

Back to Index