Hets - the Heterogeneous Tool Set

Copyright(c) Adrian Riesco and Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerariesco@fdi.ucm.es
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.Maude2CASL

Description

The translating comorphism from Maude with preorder semantics to CASL.

Synopsis

Documentation