A Pushdown Machine for Recursive XML Processing

DOI10.1007/11924661_21MaRDI QIDQ5385602zbMATH OpenOpenAlexFDO

Authors Keisuke Nakano, Shin-Cheng Mu

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)

Recommendations

• Programming Languages and Systems
• Automatic streaming processing of XSLT transformations based on tree transducers
• Translation of tree-processing programs into stream-processing programs based on ordered linear type

Cited in

(7)

• Xord: An Implementation Framework for Efficient XSLT Processing
• XML stream transformer generation through program composition and dependency analysis
• Streaming ranked-tree-to-string transducers
• Automatic streaming processing of XSLT transformations based on tree transducers
• Programming Languages and Systems
• Programming Languages and Systems
• Translation of tree-processing programs into stream-processing programs based on ordered linear type

Describes a project that uses

Uses Software

• XDuce
• CDuce

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5385602)