CoFIMain Page | About | Help | FAQ | Special pages | Log in

Printable version | Disclaimers | Privacy policy

CASL sublanguages

From CoFI

Sublanguages of Casl are listed in Section I:7.1 of the Casl Reference Manual.

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!

Retrieved from "http://www.informatik.uni-bremen.de/cofi/index.php/CASL_sublanguages"

This page has been accessed 8,804 times. This page was last modified 08:47, 7 January 2008.


Find

Browse
Main Page
About
News
Recent changes
Random page
Wiki help
Tutorials
FAQ
CASL
CASL Extensions
Basic Libraries
Case Studies
Projects
Tools
Mailing Lists
Organization
Publications
Archives
Links
Bibliography
Edit
View source
Editing help
This page
Discuss this page
Post a comment
Printable version
Context
Page history
What links here
Related changes
My pages
Log in / create account
Special pages
New pages
File list
Statistics
Bug reports
More...