Functional description of the contextual analysis in block-structured programming languages: A case study of tree transducers

DOI10.1016/0167-6423(91)90009-MzbMath0745.68038MaRDI QIDQ1183550

Heiko Vogler

Publication date: 28 June 1992

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

block-structured, imperative programming languagescontextual constraintsmany-sorted tree transducer

Mathematics Subject Classification ID

Related Items (3)

Synthesized and inherited functions. A new computational model for syntax-directed semantics ⋮ Deaccumulation techniques for improving provability ⋮ A Survey on Decidable Equivalence Problems for Tree Transducers

Uses Software

• Miranda

This page was built for publication: Functional description of the contextual analysis in block-structured programming languages: A case study of tree transducers