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

Versions0.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
Dependenciesbase (==4.*)
LicenseBSD3
AuthorAndy Gill
MaintainerAndy Gill <andygill@ku.edu>
Stabilityvaporware
CategoryLanguage, Formal Methods, Optimization, Transformation, Refactoring, Reflection
Upload dateTue Aug 2 04:38:09 UTC 2011
Uploaded byAndyGill
Downloads942 total (90 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees