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):

Displaying 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)