Go backward to A.2 Structured Specifications and Views
Go up to A CASL Mark-Up: Quick Reference
Go forward to A.4 Libraries
A.3 Architectural Specifications
\Arch | arch |
\Unit | unit |
\Units | units |
\Result | result |
\tfun | -> |
\lambda | \
|
CoFI
Note: C-2 -- Version: 0.3 (for CASL v1.0) -- 30 November 1998.
Comments to mosses@csl.sri.com