CoCASL.hs revision 454c0b5122960041520400ad83066c281546ef9b
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiDescription : Co-algebraic CASL extension
1549f3abf73c1122acff724f718b615c82fa3648Till MossakowskiCopyright : (c) Christian Maeder and Uni Bremen 2006
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederMaintainer : Christian.Maeder@dfki.de
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederStability : provisional
351145cfe8c03b4d47133c96b209f2bd6cfbf504Christian MaederPortability : portable (except CoCASL.Logic_CoCASL)
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiThis folder contains the files for CoCASL basic specs
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederCoCASL is the coalgebraic extension of CASL. See /Till
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederMossakowski, Lutz Schroeder, Markus Roggenbach, Horst
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederReichel. Algebraic-co-algebraic specification in CoCASL. Journal of
f8b715ab2993083761c0aedb78f1819bcf67b6ccChristian MaederLogic and Algebraic Programming. To appear./
575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian MaederThe modules for CoCASL largely are built on top of those for "CASL",
ad270004874ce1d0697fb30d7309f180553bb315Christian Maederusing the holes for future extensions that have been left in the
ad270004874ce1d0697fb30d7309f180553bb315Christian Maederdatatypes for CASL.
db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun WangSpecial proof tactics for the CoCASL encoding into Isabelle
23a00c966f2aa8da525d7a7c51933c99964426c0Christian Maederare delivered in the CASL-lib folder <http://www.cofi.info/Libraries/>
575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maederof basic libraries.
8e9c3881fb6e710b1e08bf5ac8ff9d393df2e74eChristian Maeder* "CoCASL.AS_CoCASL" abstract syntax of CoCASL specifications
575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maeder* "CoCASL.ATC_CoCASL" ATerm conversion
575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian Maeder* "CoCASL.CoCASLSign" CoCASL signatures
a001917177db7ae636853b37c0d0f9f4e90a83ffChristian Maeder* "CoCASL.Logic_CoCASL" the CoCASL instance of type class 'Logic.Logic.Logic'
aea143fff7a50aceb809845fbc42698b0b3f545aChristian Maeder* "CoCASL.Parse_AS" CoCASL parser
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maeder* "CoCASL.Print_AS" CoCASL pretty printer
2561b4bfc45d280ee2be8a7870314670e4e682e4Christian Maeder* "CoCASL.StatAna" CoCASL static analysis
ca020e82eb3567e7bdbb1cf70729efbd07e9caa4Klaus Luettichmodule CoCASL where