|
Aims and scope |
 |
Projects |
| CASL Language | |
| Sublanguages | |
| Extensions | |
| |
Papers |
|
|
Approval |
 |
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.
