| layout | title | redirect_from | |
|---|---|---|---|
page |
The Haskell Equational Reasoning Model-to-Implementation Tunnel (HERMIT) |
|
The Haskell Equational Reasoning Model-to-Implementation Tunnel (HERMIT) is a GHC plugin that allows post-hoc transformations to be applied to Haskell programs, after compilation has started. HERMIT can be used for program-specific optimizations, domain-specific optimizations, or for constructing semi-formal assurance arguments.
- On Hackage: http://hackage.haskell.org/package/hermit
- On Github: https://github.com/ku-fpg/hermit
{% include cite.fn key="Farmer-15-HERMIT-reasoning" %} {% include cite.fn key="Farmer-15-PhD" %} {% include cite.fn key="Adams-15-OSTIE" %} {% include cite.fn key="Farmer-14-HERMITinStream" %} {% include cite.fn key="Adams-14-OSIE" %} {% include cite.fn key="Sculthorpe-13-KURE" %} {% include cite.fn key="Sculthorpe-13-HERMITinTree" %} {% include cite.fn key="Farmer-12-HERMITinMachine" %}