A Pushdown Machine for Recursive XML Processing

DOI10.1007/11924661_21zbMath1168.68363OpenAlexW1500265712MaRDI QIDQ5385602

Shin-Cheng Mu, Keisuke Nakano

Publication date: 6 May 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11924661_21

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Translation of tree-processing programs into stream-processing programs based on ordered linear type ⋮ Streaming ranked-tree-to-string transducers

Uses Software

• CDuce
• XDuce

This page was built for publication: A Pushdown Machine for Recursive XML Processing