The CSPM-Interpreter package
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.
Properties
| Versions | 0.1.0.0, 0.1.0.1, 0.2.0.0, 0.3.0.0, 0.4.0.2, 0.4.4.1, 0.5.1.0 |
|---|---|
| Dependencies | array (0.3.*), base (≥4.0 & <5.0), containers (0.4.*), CSPM-CoreLanguage (0.3.*), CSPM-Frontend (0.7.*), mtl (1.1.*), syb (0.3.*) or array (0.3.*), base (≥4.0 & <5.0), containers (0.4.*), CSPM-CoreLanguage (0.3.*), CSPM-Frontend (0.7.*), mtl (2.0.*), syb (0.3.*) |
| License | BSD3 |
| Author | 2010 - 2011 Marc Fontaine |
| Maintainer | Marc Fontaine <fontaine@cs.uni-duesseldorf.de> |
| Stability | experimental |
| Category | Language, Formal Methods, Concurrency |
| Upload date | Fri Jun 24 12:05:24 UTC 2011 |
| Uploaded by | MarcFontaine |
| Built on | ghc-7.0 |
Modules
Downloads
- CSPM-Interpreter-0.5.1.0.tar.gz (Cabal source package)
- package description (included in the package)