CoCASL.hs revision c63ebf815c8a874525cf18670ad74847f7fc7b26
{- |
Module : $Id$
Description : folder description
Copyright : (c) Christian Maeder and Uni Bremen 2006
License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
Maintainer : Christian.Maeder@dfki.de
Stability : provisional
Portability : portable (except CoCASL.Logic_CoCASL)
This folder contains the files for CoCASL basic specs
CoCASL is the coalgebraic extension of CASL. See /Till
Mossakowski, Lutz Schr�der, Markus Roggenbach, Horst
Reichel. Algebraic-co-algebraic specification in CoCASL. Journal of
Logic and Algebraic Programming. To appear./
The modules for CoCASL largely are built on top of those for "CASL",
using the holes for future extensions that have been left in the
datatypes for CASL.
Special proof tactics for the CoCASL encoding into Isabelle
are delivered in the CASL-lib folder <http://www.cofi.info/Libraries/>
of basic libraries.
* "CoCASL.AS_CoCASL" abstract syntax of CoCASL specifications
* "CoCASL.ATC_CoCASL" ATerm conversion
* "CoCASL.CoCASLSign" CoCASL signatures
* "CoCASL.Logic_CoCASL" the CoCASL instance of type class 'Logic.Logic.Logic'
* "CoCASL.Parse_AS" CoCASL parser
* "CoCASL.Print_AS" CoCASL pretty printer
* "CoCASL.StatAna" CoCASL static analysis
-}
module CoCASL where