The CoFI-Language Group Home Page
- Aims and scope
- Projects
CASL Language
- Papers
- Approval

Sublanguages of CASL

Sublanguages of CASL Sublanguages of CASL

Various sublanguages of CASL are defined 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.

Back to CoFI-Language Home Page