The hermit package

[Tags:bsd3, library, program]

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.

Properties

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 BSD3
Author Andy Gill
Maintainer Andy Gill <andygill@ku.edu>
Stability vaporware
Category Language, Formal Methods, Optimization, Transformation, Refactoring, Reflection
Uploaded Tue Aug 2 04:38:09 UTC 2011 by AndyGill
Updated Sat Sep 19 23:07:42 UTC 2015 by AndrewFarmer to revision 1
Distributions NixOS:1.0.1
Downloads 3204 total (44 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees