The maxsharing package

[Tags:bsd3, program]

Parses a lambda-letrec term; transforms it into a first-order term graph representation; minimises the graph by bisimulation collapse; reads back a lambda-letrec term which has the same unfolding as the original term but is more (maximally) compact. If executable dot from graphviz is available, the graphs are displayed (tested for Linux). The approach is described in an ICFP-paper and an extended version thereof


Versions 1.0, 1.0.2, 1.0.3, 1.1
Dependencies base (<4.9), base-unicode-symbols, boxes, containers, containers-unicode-symbols, fgl, HaLeX, indentparser, mtl, parsec (>=3.0), process, uuagc, uuagc-cabal [details]
License BSD3
Copyright (c) 2013, Jan Rochel
Author Jan Rochel
Stability beta
Category Graphs, Compiler
Home page
Uploaded Mon Oct 17 18:30:12 UTC 2016 by JanRochel
Distributions NixOS:1.1
Downloads 463 total (14 in the last 30 days)
0 []
Status Docs pending
Build status unknown [no reports yet]


Maintainer's Corner

For package maintainers and hackage trustees