CSPM-ToProlog: some modules specific for the ProB tool

[ bsd3, formal-methods, library ] [ Propose Tags ]

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.

Modules

Language
- CSPM
  - Language.CSPM.AstToProlog
  - Language.CSPM.TranslateToProlog

Downloads

CSPM-ToProlog-0.4.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

MarcFontaine

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.3.1.0, 0.4.0.0, 0.5.0.0, 0.5.1.0, 0.5.2.0, 0.5.5.0
Dependencies	base (>=4.0 && <5.0), containers (>=0.4 && <0.5), CSPM-Frontend (>=0.7 && <0.8), pretty (>=1.0 && <1.1) [details]
License	BSD-3-Clause
Author	2006-2011 Marc Fontaine
Maintainer	Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Category	Formal Methods
Uploaded	by MarcFontaine at 2011-06-24T12:04:58Z
Distributions
Reverse Dependencies	2 direct, 0 indirect [details]
Downloads	5785 total (21 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]