@hackage CSPM-Interpreter0.6.0.3
An interpreter for CSPM
Categories
License
BSD-3-Clause
Maintainer
Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Links
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (8)
- CSPM-CoreLanguage >=0.3 && <0.4
- CSPM-Frontend >=0.9 && <0.10
- array >=0.4 && <0.5
- base >=4.0 && <5.0
- containers >=0.4 && <0.5
- mtl Show all…
Dependents (2)
@hackage/CSPM-cspm, @hackage/acme-everything
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.