Go backward to
4 Subsorting Constructs
Go up to
Top
Go forward to
5 Structuring Concepts
Part II: Structured Specifications
Structuring Concepts
Structuring Constructs
CoFI
Document: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to
cofi-language@brics.dk