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.

Versions 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 (>1 && <1) [details]
License BSD-3-Clause
Author Andy Gill
Maintainer Andy Gill <andygill@ku.edu>
Revised Revision 1 made by AndrewFarmer at Sat Sep 19 23:07:42 UTC 2015
Category Language, Formal Methods, Optimization, Transformation, Refactoring, Reflection
Uploaded by AndyGill at Tue Aug 2 04:38:09 UTC 2011
Distributions NixOS:1.0.1
Downloads 9645 total (36 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

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