The maxsharing package

[Tags:bsd3, program]

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.orgabs1401.1460


Versions 1.0, 1.0.2, 1.0.3, 1.1
Dependencies base (<4.8), base-unicode-symbols (<0.3), boxes (<0.2), containers (<0.6), containers-unicode-symbols (<0.4), HaLeX (>=1.2.1), IndentParser (<0.3), mtl (<2.3), parsec (<2.2), process (<1.2), uuagc (>=, uuagc-cabal (<1.1) [details]
License BSD3
Copyright (c) 2013, Jan Rochel
Author Jan Rochel
Category Graphs, Compiler
Home page
Uploaded Thu Oct 30 15:03:32 UTC 2014 by JanRochel
Distributions NixOS:1.1
Downloads 539 total (5 in the last 30 days)
0 []
Status Docs not available [build log]
All reported builds failed as of 2016-12-12 [all 7 reports]
Hackage Matrix CI


Maintainer's Corner

For package maintainers and hackage trustees