Translation of Tree-processing Programs into . . .

Translation of Tree-processing Programs into . . . (2005)

Cached

Download Links

[www.yl.is.s.u-tokyo.ac.jp]
[www.kb.ecei.tohoku.ac.jp]

Other Repositories/Bibliography

DBLP

by Kohei Suenaga

BibTeX

@MISC{Suenaga05translationof,
    author = {Kohei Suenaga},
    title = {Translation of Tree-processing Programs into . . . },
    year = {2005}
}

Bookmark

OpenURL

Abstract

Citations

579	Types and Programming Languages - Pierce - 2002
375	Deforestation: Transforming programs to eliminate trees - Wadler - 1990
283	Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller - 1994
275	Functional Programming with Bananas, Lenses, Envelopes and Barbed - Meijer, Fokkinga, et al. - 1991
139	CDuce: an XML-centric general-purpose language - Benzaken, Castagna, et al. - 2003
125	Stream Processing of XPath Queries with Predicates - Gupta, Suciu - 2003
122	XDuce: A typed XML processing language - Hosoya, Pierce - 2003
107	Processing xml streams with deterministic automata and stream indexes - Green, Gupta, et al.
105	Extensible markup language (XML) 1.0 (second edition - Bray, Paoli, et al. - 2000
91	linear Lisp – ’Look Ma, no garbage - Baker, Lively - 1992
83	Resource usage analysis - Igarashi, Kobayashi
77	Once upon a type - Turner, Wadler, et al. - 1995
49	Attribute coupled grammars - Ganzinger, Giegerich - 1984
45	Jérôme Siméon. XQuery 1.0: An XML Query Language. W3C, January 2007. Available from http://www.w3.org/TR/xquery - Boag, Chamberlin, et al.
33	Ordered Linear Logic and Applications - Polakow - 2001
28	XQuery 1.0: An XML Query Language. World Wide Web Consortium - Boag, Chamberlin, et al. - 2007
25	A type theory for memory allocation and data layout - Petersen, Harper, et al. - 2003
21	Attribute grammars for scalable query processing on XML streams - Koch, Scherzinger
14	XMLTK: An XML toolkit for scalable XML stream processing - Avila-Campillo, Green, et al. - 2002
12	R.: Functional Programming with Bananas - Meijer, Fokkinga, et al. - 1991
9	Deriving event-based document transformers from tree-based specifications - Nakano, Nishimura - 2001
7	An implementation scheme for XML transformation languages through derivation of stream processors - Nakano - 2004
6	Composing Stack-Attributed Tree Transducers - Nakano - 2004
6	A pushdown machine for recursive XML processing - Nakano, Mu - 2006
6	Extension of TypeBased Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives - Suenaga, Kobayashi, et al. - 2005
5	XML path language (XPath) 2.0. World Wide Web Consortium - Berglund, Boag, et al. - 2003
5	Attribute grammars for unranked trees as a query language for structured documents. Journal of computer and system sciences - Neven - 2005
5	Pratik Mukhopadhyay, and Yannis Papakonstantinou. A transducer-based XML query processor - Ludäscher - 2002
3	Buffering in query evaluation over XML streams. Pages 216–227 of - Bar-Yossef, Fontoura, et al. - 2005
3	XML query (XQuery) requirements. World Wide Web Consortium. http:/ /www.w3.org/TR/xquery-requirements - Chamberlin, Frankhauser, et al. - 2003
3	A Transducer-Based XML Query - Ludäscher, Mukhopadhyay, et al. - 2002
2	Lively Linear Lisp - Baker - 1992
2	Once Upon A Type. Pages 1–11 of - Turner, Wadler, et al. - 1995
2	XPath: Looking Forward. Pages 109–127 of - Olteanu, Meuss, et al. - 2002
2	Automatic insertion of buffering primitives for generating XML stream processor (in Japanese - Sato - 2007
2	XPath Requirements Version 2.0. World Wide Web Consortium - Scardina, Fernandez - 2003
2	The XML benchmark project. Tech. rept. Centrum voor Wiskunde en Informatica - Schmidt, Waas, et al. - 2001
2	XPath Requirements Version 2.0 - Muench, Scardina, et al. - 2001
1	Compilers. Addison-Wesley Pub Co - Aho, Sethi, et al. - 1986
1	Kohei Suenaga and Naoki - Kodama - 2002