The latest version of maxsharing is 1.1-0.
maxsharing
Version 1.0 revision 0 uploaded by JanRochel.
Package meta
- Synopsis
- Maximal sharing of terms in the lambda calculus with letrec
- Description
Parses a lambda-letrec term; transforms it into a first-order term graph representation; minimises the graph; reads back a lambda-letrec term which has the same unfolding as the original term, but exhibits maximal sharing. If executable "dot" from graphviz is available, the graphs are displayed (tested for Linux). The approach is described in a technical report: http:/arxiv.orgabs/1401.1460
- Author
- Jan Rochel
- Bug reports
- n/a
- Category
- Graphs, Compiler
- Copyright
- (c) 2013, Jan Rochel
- Homepage
- http://rochel.info/maxsharing/
- Maintainer
- jan@rochel.info
- Package URL
- n/a
- Stability
- beta