HP Labs Technical Reports
Click here for full text:
HP-SL Abstract Type Syntax (Records and Unions)
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