| | | Casl Sublanguages |
Sublanguages of Casl are listed in Section I:7.1 of the Casl Reference Manual [19].
Proposals for further sublanguages are announced on the CoFI mailing list, and listed on the CoFI Language Group Sublanguages page.
It would be useful to define also sublanguages of CASL corresponding closely to (sublanguages of) other major algebraic specification languages such as Larch and OBJ3, and provide tools supporting (semi-)automatic translation between these languages and Casl.
Please contact Till Mossakowski (Bremen) if interested in participating in this work!
| | | Casl Sublanguages |