Pages that link to "Item:Q4181304"
From MaRDI portal
The following pages link to An order-algebraic definition of knuthian semantics (Q4181304):
Displaying 16 items.
- Systematic debugging method for attribute grammar description (Q287103) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Macro tree transducers (Q1073576) (← links)
- Pushdown machines for the macro tree transducer (Q1089810) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- High level tree transducers and iterated pushdown tree transducers (Q1096399) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Attribute grammars and recursive program schemes. I. II (Q1162363) (← links)
- Tree transducers with external functions (Q1208712) (← links)
- Attributed tree grammars (Q1311961) (← links)
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming (Q2640347) (← links)
- Attribute Grammars and Categorical Semantics (Q3519507) (← links)
- Monadic Datalog Tree Transducers (Q3618586) (← links)
- On traced monoidal closed categories (Q3625674) (← links)
- Can we transform logic programs into attribute grammars ? (Q3991299) (← links)
- Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers (Q5166620) (← links)