hermit: Haskell Equational Reasoning Model-to-Implementation Tunnel
[ bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation ]
[ Propose Tags ]
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.
Downloads
- hermit-0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.0, 0.1.1.0, 0.1.1.1, 0.1.2.0, 0.1.4.0, 0.1.6.0, 0.1.8.0, 0.2.0.0, 0.3.0.0, 0.3.1.0, 0.3.2.0, 0.4.0.0, 0.5.0.0, 0.6.0.0, 0.7.0.0, 0.7.1.0, 1.0.0.0, 1.0.1 |
---|---|
Dependencies | base (<0) [details] |
License | BSD-3-Clause |
Author | Andy Gill |
Maintainer | Andy Gill <andygill@ku.edu> |
Revised | Revision 1 made by AndrewFarmer at 2015-09-19T23:07:42Z |
Category | Language, Formal Methods, Optimization, Transformation, Refactoring, Reflection |
Uploaded | by AndyGill at 2011-08-02T04:38:09Z |
Distributions | |
Reverse Dependencies | 2 direct, 0 indirect [details] |
Downloads | 16850 total (43 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] |