Translation of tree-processing programs into stream-processing programs based on ordered linear type

DOI10.1017/S0956796807006570zbMath1138.68353OpenAlexW2135000332MaRDI QIDQ3503191

Koichi Kodama, Naoki Kobayashi, Kohei Suenaga

Publication date: 22 May 2008

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796807006570

zbMATH Keywords

XML stream processor generator

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• Attribute grammars for unranked trees as a query language for structured documents
• A type theory for memory allocation and data layout
• CDuce
• A Pushdown Machine for Recursive XML Processing

This page was built for publication: Translation of tree-processing programs into stream-processing programs based on ordered linear type