@hackage hermit0.0

Haskell Equational Reasoning Model-to-Implementation Tunnel

Categories
License
BSD-3-Clause
Maintainer
Andy Gill <andygill@ku.edu>
Links
- Documentation
- No source repository
- Security
Versions
- 1.0.1 Tue, 23 Feb 2016
- 1.0.0.0 Sun, 21 Feb 2016
- 0.7.1.0 Sat, 19 Sep 2015
- 0.7.0.0 Sat, 19 Sep 2015
- 0.6.0.0 Sat, 19 Sep 2015
- 0.5.0.0 Sat, 19 Sep 2015

Installation
In your cabal file:
Dependencies (1)
- base <0
Dependents (2)
@hackage/acme-everything, @hackage/hermit-syb

HERMIT uses Haskell to express semi-formal models, efficient implementations, and provide a bridging DSL to describe via stepwise refinement the connection between these models and implementations. The key transformation in the bridging DSL is the worker/wrapper transformation.

@hackage hermit0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (1)

Dependents (2)