The CoFI-Language Group Home Page
- Aims and scope
- Projects
CASL Language
- Papers
- Approval

The Common Framework Initiative for Algebraic Specifications CoFI

is a collaborative effort involving many different groups working on algebraic specifications.

The common language CASL is a general-purpose specification language from which a family of related specification languages can be obtained by syntactic or semantic restriction, or by extension (for instance to higher-order functions), all with a consistent, user-friendly syntax and clear semantics.

Subscribe to CoFI mailing lists

Back to CoFI-Language Home Page