graph-rewriting-strategies
Version 0.2.9 revision 0 uploaded by JanRochel.
Package meta
- Synopsis
- Evaluation strategies for port-graph rewriting systems
- Description
Defines a mechanism to add evaluation strategies to graph rewriting systems defined in terms of the graph-rewriting library. Currently only leftmost-outermost reduction is implemented.
- Author
- Robert Kreuzer, Jan Rochel
- Bug reports
- https://github.com/jrochel/graph-rewriting/issues
- Category
- Graphs
- Copyright
- 2012, Robert Kreuzer, Jan Rochel
- Homepage
- https://github.com/jrochel/graph-rewriting
- Maintainer
- jan@rochel.info
- Package URL
- n/a
- Stability
- n/a