mrsc
mrsc copied to clipboard
Depth-first vs bread-first construction
This idea is two-sided.
- Bread-first generation of graphs allows to implement URA in MRSC.
- Interesting question: is supercompilation agnostic to which node is selected as an active one?