HP Labs Technical Reports

Click here for full text: PDF

HP-SL Abstract Type Syntax (Records and Unions)

Goldsack, Patrick

August, 1991


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

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map][Home] [Hewlett-Packard]