Sublanguages of CASL

Till Mossakowski1

19 December 1997

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


We define various sublanguages of CASL by identifying a number of orthogonal features. Each of these features can be included or left out in a sublanguage. This leads to a concise notation for sublanguages. The sublanguages can be identified purely syntactically, thus tools can determine to which sublanguages a particular specification belongs. Two graphs show relations among the sublanguages. The relation of the sublanguages to other specification languages is addressed briefly.

The rest of this document has not yet been converted to Hypertext; please refer to the FTP directory indicated above for the full document.

  • Footnotes

  • CoFI Note: L-7 --Version 1.0-- 19 December 1997.
    Comments to