The CoFI-Language Group Home Page
   
   
- Aims and scope
- Projects
CASL Language
Sublanguages
Extensions
- Papers
- Approval
E-mail

Sublanguages of CASL


Sublanguages of CASL Sublanguages of CASL

http://www.brics.dk/Projects/CoFI/Notes/L-7/

ftp://ftp.brics.dk/Projects/CoFI/Notes/L-7/

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