Go backward to 1 Background
Go up to Top
Go forward to 3 Basic Specifications
2 Guide
CASL consists of several major parts, which are quite
independent and may be understood (and used) separately:
- basic specifications:
declarations, definitions, axioms
- structured specifications:
translations, reductions, unions, extensions, freeness,
named specifications, generic specifications, views
- architectural specifications:
implementation units, composition
- specification libraries:
local, distributed
The above division of CASL into parts is orthogonal to taking
sublanguages of CASL.
The CASL language design integrates several different
aspects, which are here explained separately:
- pragmatic issues: methodology, tools, aesthetics
- semantic concepts: formal (institutions, environments),
informal (expansions, scopes)
- language constructs:
abstract syntax (structure, annotations);
concrete syntax (input format, display format)
In this guided tour, each part of CASL is presented in turn,
considering all the aspects listed above before proceeding to the next
part. Of course the reader is free to ignore the guide, and wander
through the various sections in a different order (but then the author
cannot accept responsibility for any resulting disorientation...).
CoFI
Document: CASL/GuidedTour -- Version: 1 -- July 1999.
Comments to pdmosses@brics.dk
Go backward to 1 Background
Go up to Top
Go forward to 3 Basic Specifications