The latest version of graph-rewriting-ww is 0.3.8-0.
graph-rewriting-ww
Version 0.3.5 revision 0 uploaded by JanRochel.
Package meta
- Synopsis
- Evaluator of the lambda-calculus in an interactive graph rewriting system with explicit sharing
- Description
Evaluate a given λ-term (letrecs may be used) interactively. It uses duplicators to explicitly render fully-lazy sharing according to Wadsworth's approach. The reduction rules are split into two groups, safe rules and unsafe rules, which implement the procedure for unsharing the MFE under one duplicator.
- Author
- Jan Rochel
- Bug reports
- n/a
- Category
- Application, Compilers/Interpreters
- Copyright
- (c) 2010, Jan Rochel
- Homepage
- http://rochel.info/#graph-rewriting
- Maintainer
- jan@rochel.info
- Package URL
- n/a
- Stability
- n/a