Name: CSPM-Interpreter
Version: 0.5.1.0
Synopsis: An interpreter for CSPM
Description:
This package contains an interpreter for CSPM
and instance declarations that implement the interface defined in
the package CSPM-CoreLanguage.
All type family instances that belong to this implementation
are indexed with the phantom-type 'INT' ('INT' == interpreter).
The operational semantics of core-CSP is defined in the CSPM-FiringRules package.
License: BSD3
category: Language,Formal Methods,Concurrency
License-File: LICENSE
Author: 2010 - 2011 Marc Fontaine
Maintainer: Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Stability: experimental
Tested-With: GHC == 7.0.3
cabal-Version: >= 1.10
build-type: Simple
Extra-source-files:
Library
Build-Depends:
CSPM-Frontend >= 0.7 && < 0.8
,CSPM-CoreLanguage >= 0.3 && < 0.4
,base >= 4.0 && < 5.0
,containers >= 0.4 && < 0.5
,mtl (>= 2.0 && < 2.1 ) || (>= 1.1 && < 1.2)
,array >= 0.3 && <0.4
,syb >= 0.3 && < 0.4
Default-Language: Haskell2010
GHC-Options: -funbox-strict-fields -O2 -Wall
Other-Extensions: DeriveDataTypeable, GeneralizedNewtypeDeriving
Hs-Source-Dirs: src
Exposed-modules:
CSPM.Interpreter
CSPM.Interpreter.Types
CSPM.Interpreter.Eval
CSPM.Interpreter.CoreInstances
CSPM.Interpreter.Hash
CSPM.Interpreter.ClosureSet
CSPM.Interpreter.Test.CLI
Other-modules:
CSPM.Interpreter.Renaming
CSPM.Interpreter.PrepareAST
CSPM.Interpreter.Bindings
CSPM.Interpreter.PatternCompiler
CSPM.Interpreter.PatternMatcher
CSPM.Interpreter.Prefix
CSPM.Interpreter.GenericBufferPrefix
CSPM.Interpreter.SSet
Data.Digest.Pure.MD5
Data.Digest.Pure.HashMD5
Paths_CSPM_Interpreter