|
|
| |
FB 3
|
|
| |
Group BKB >
Publications >
Search >
|
Deutsch
English
|
| |
Publications Search - Details
|
| |
| Publication type: |
Unpublished |
| Author: |
Till Mossakowski |
| Title: |
Sublanguages of CASL |
| Year published: |
1997 |
| Abstract: |
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. |
| Internet: |
http://www.informatik.uni-bremen.de/cofi/old/Notes/L-7/index.html |
| Keywords: |
CASL sublanguages |
| Note / Comment: |
CoFI note L-7 |
| Status: |
Other |
| Last updated: |
13. 02. 2007 |
|
 |
Back to result list |
|
|
| |
Author: Automatically generated page
|
|
| |
Group BKB |
| Last updated: May 9, 2023 |
 |
|
|