Pages that link to "Item:Q1183550"

The following pages link to Functional description of the contextual analysis in block-structured programming languages: A case study of tree transducers (Q1183550):

Displayed 3 items.

• Deaccumulation techniques for improving provability (Q882487) ‎ (← links)
• Synthesized and inherited functions. A new computational model for syntax-directed semantics (Q1338894) ‎ (← links)
• A Survey on Decidable Equivalence Problems for Tree Transducers (Q2800413) ‎ (← links)