Hets - the Heterogeneous Tool Set

Copyright(c) M. Codescu, DFKI Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerMihai.Codescu@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.CASL2VSERefine

Description

The embedding comorphism from CASL to VSE.

Synopsis

Documentation