The following pages link to (Q4274972):
Displaying 8 items.
- Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition (Q385017) (← links)
- Fixed-point calculus (Q674263) (← links)
- Reducing transformations for functional programs with assignment (Q1087006) (← links)
- On interpretation of functional programming languages (Q1817092) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- (Q3316549) (← links)
- (Q4029598) (← links)
- Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers (Q5166620) (← links)