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 |
Documentation
type Morphism = DefaultMorphism LogicDef
data Framework
data FrameworkCom
Show FrameworkCom | |
Language FrameworkCom | |
Sentences FrameworkCom () ComorphismDef MorphismCom () | |
Syntax FrameworkCom ComorphismDef () () () | |
StaticAnalysis FrameworkCom ComorphismDef () () () ComorphismDef MorphismCom () () | |
Logic FrameworkCom () ComorphismDef () () () ComorphismDef MorphismCom () () () |