CoCASL.hs revision 92a8d7a035c4ee1054cd2ef112bb404f9b3b50d5
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederModule : $Header$
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederDescription : folder description
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCopyright : (c) Christian Maeder and Uni Bremen 2006
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederMaintainer : maeder@tzi.de
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederStability : provisional
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederPortability : portable (except CoCASL.Logic_CoCASL)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederThis folder contains the files for CoCASL basic specs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCoCASL is the coalgebraic extension of CASL. See /Till
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederMossakowski, Lutz Schr�der, Markus Roggenbach, Horst
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederReichel. Algebraic-co-algebraic specification in CoCASL. Journal of
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederLogic and Algebraic Programming. To appear./
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederThe modules for CoCASL largely are built on top of those for "CASL",
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederusing the holes for future extensions that have been left in the
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederdatatypes for CASL.
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederSpecial proof tactics for the CoCASL encoding into Isabelle
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederare delivered in the CASL-lib folder <http://www.cofi.info/Libraries/>
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederof basic libraries.
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder* "CoCASL.AS_CoCASL" abstract syntax of CoCASL specifications
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder* "CoCASL.ATC_CoCASL" ATerm conversion
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder* "CoCASL.CoCASLSign" CoCASL signatures
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder* "CoCASL.Logic_CoCASL" the CoCASL instance of type class 'Logic.Logic.Logic'
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder* "CoCASL.Parse_AS" CoCASL parser
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder* "CoCASL.Print_AS" CoCASL pretty printer
accab0bf9b8aa690d70174f41fe94370323959b9Christian Maeder* "CoCASL.StatAna" CoCASL static analysis
accab0bf9b8aa690d70174f41fe94370323959b9Christian Maedermodule CoCASL where