Note on Data Type Declaration

Christine Choppy1

5 January 1998

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.

Abstract

A first aim of this note is to explain some features of CASL syntax relative to data type declaration. Another aim is to suggest some ways to use these features, and a last aim is to draw someone's attention to some potential problems and misuses.
  • 1 CASL concrete syntax related to data type declaration
  • 2 SORT-ITEM : Some Examples for DATATYPE-DECL
  • 3 SORT-GEN-ITEM : Some Examples
  • 4 Some points for discussion
  • References
  • Appendices:
  • 5 The basic specifications concrete syntax
  • 6 Other examples of SORT-ITEM
  • Footnotes
    • CoFI Note: M-2 ---- 5 January 1998.
    Comments to Christine.Choppy@irin.univ-nantes.fr