The CSPM-ToProlog package
This package constains a translation from a CSPM AST to the representation used by the ProB tool. This code is only interesting for ProB developers.
Properties
| Versions | 0.3.1.0, 0.4.0.0 |
|---|---|
| Dependencies | base (≥4.0 & <5.0), containers (0.4.*), CSPM-Frontend (0.7.*), pretty (1.0.*) |
| License | BSD3 |
| Author | 2006-2011 Marc Fontaine |
| Maintainer | Marc Fontaine <fontaine@cs.uni-duesseldorf.de> |
| Category | Formal Methods |
| Upload date | Fri Jun 24 12:04:58 UTC 2011 |
| Uploaded by | MarcFontaine |
| Built on | ghc-7.0 |
Modules
Downloads
- CSPM-ToProlog-0.4.0.0.tar.gz (Cabal source package)
- package description (included in the package)