CoFI
From CoFI
|
Tutorials
| Casl
| Casl Extensions
| Basic Libraries
| Case Studies
| Projects
| Tools
| News
| Logos
| About
Frequently asked questions | Mailing Lists | Organization | Publications | Archives | Links | Bibliography
CoFI is a voluntary organization, sponsored by IFIP WG1.3, and founded as an open collaborative effort to produce a Common Framework for Algebraic Specification and Development, including Casl, the Common Algebraic Specification Language.
| ![]() | ![]() |
Casl User Manual | Casl Reference Manual |
News
- [160921] WADT 2016 in Gregynog, Wales
- [160815] DOL tutorial at ESSLLI (DOL is a language inheriting many constructs from CASL)
- [160330] DOL specification approved by OMG (DOL is a language inheriting many constructs from CASL)
- [150518] DOL specification submitted as final version to OMG (DOL is a language inheriting many constructs from CASL)
- [140615] Deadline for WADT 2014 abstracts
- [140601] EU project Coinvent uses CASL for blending mathematical theories
- [140601] CASL will be used as basis for the Distributed Ontology, Modeling and Specication Language (DOL)
- [130901] logic QVT (Query/View/Transformation) has been added to the Heterogeneous tool set and can be used with HetCASL
- [130805] logic MOF (Meta-Object_Facility) has been added to the Heterogeneous tool set and can be used with HetCASL
- [130429] Paper on comparison of four languages/provers (one of them CASL/Hets) for the formalisation Vickrey's theorem (auction theory)
- [120910] Conference on Algebra and Coalgebra in Computer Science 2013, Warsaw CfP appears