Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain

Keyphrases

• Tree Traversal 100%
• Recursion Schemes 100%
• Graph Representation 66%
• Traversal 33%
• Attribute Grammars 33%
• Tree Graph 33%
• Graph Traversal 33%
• Recomputation 33%
• Shared Nodes 33%
• Correspondence Theorem 33%
• Practical Applicability 33%
• Compact Graph 33%
• Acyclic Graph 33%
• Programmer 33%

Computer Science

• Graph Representation 100%
• Tree Traversal 100%
• Soundness 50%
• Attribute Grammar 50%
• Resulting Graph 50%
• Graph Traversal 50%