The following pages link to (Q3771648):
Displaying 13 items.
- Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition (Q385017) (← links)
- Experimental functional realization of attribute grammar system (Q698958) (← links)
- A functional programming approach to the specification and verification of concurrent systems (Q909439) (← links)
- Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359) (← links)
- Composing stack-attributed tree transducers (Q2272204) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- The next 700 Krivine machines (Q2464721) (← links)
- Equational semantics (Q2702098) (← links)
- Merging hierarchically-structured documents in workflow systems (Q2873660) (← links)
- (Q3204029) (← links)
- Constructing Programs as Executable Attribute Grammars (Q4019939) (← links)
- (Q4397968) (← links)
- Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers (Q5166620) (← links)
