Hets - the Heterogeneous Tool Set

Copyright	(c) Kristina Sojakova, DFKI Bremen 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	k.sojakova@jacobs-university.de
Stability	experimental
Portability	portable Signatures of this logic are composed of a logical framework name (currently one of LF, Isabelle, or Maude) to be used as a meta-logic, and a tuple of signature and morphism names which determine the object logic. As such the logic Framework does not have any sentences and only identity signature morphisms. For reference see Integrating Logical Frameworks in Hets by M. Codescu et al (WADT10).
Safe Haskell	None

Framework.Logic_Framework

Description

Documentation

type Morphism = DefaultMorphism LogicDef

Constructors

Instances

Show Framework
Language Framework
Sentences Framework () LogicDef Morphism ()
Syntax Framework LogicDef () () ()
StaticAnalysis Framework LogicDef () () () LogicDef Morphism () ()
Logic Framework () LogicDef () () () LogicDef Morphism () () ()

type MorphismCom = DefaultMorphism ComorphismDef

data FrameworkCom

Constructors

Instances

Show FrameworkCom
Language FrameworkCom
Sentences FrameworkCom () ComorphismDef MorphismCom ()
Syntax FrameworkCom ComorphismDef () () ()
StaticAnalysis FrameworkCom ComorphismDef () () () ComorphismDef MorphismCom () ()
Logic FrameworkCom () ComorphismDef () () () ComorphismDef MorphismCom () () ()