Sign in
PLAN-X
2006
2007
2008
2006
2008
Keyphrases
Publications
2008
Olivier Gauwin
,
Anne-Cécile Caron
,
Joachim Niehren
,
Sophie Tison
Complexity of Earliest Query Answering with Streaming Tree Automata.
PLAN-X
(2008)
Philippa Gardner
,
Gareth Smith
,
Mark J. Wheelhouse
,
Uri Zarfaty
DOM: Towards a Formal Specification.
PLAN-X
(2008)
Giuseppe Castagna
,
Kim Nguyen
Typed Iterators for XML.
PLAN-X
(2008)
Shin-Cheng Mu
,
Ta-Chung Tsai
,
Keisuke Nakano
XML Stream Processing Using a Lazy Concurrent Language.
PLAN-X
(2008)
Anders Møller
Static Analysis for Event-Based XML Processing.
PLAN-X
(2008)
Sebastian Maneth
,
Keisuke Nakano
XML Type Checking for Macro Tree Transducers with Holes.
PLAN-X
(2008)
Anguel Novoselsky
,
Zhen Hua Liu
XVM - A Hybrid Sequential-Query Virtual Machine for Processing XML Languages.
PLAN-X
(2008)
PLAN-X 2008, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2008, San Francisco, California, USA, January 9, 2008
PLAN-X
(2008)
Giorgio Ghelli
,
Dario Colazzo
,
Carlo Sartiani
Linear Time Membership for a Class of XML Types with Interleaving and Counting.
PLAN-X
(2008)
Kazuhiro Inaba
,
Haruo Hosoya
Multi-Return Macro Tree Transducers.
PLAN-X
(2008)
J. Nathan Foster
,
Ravi B. Konuru
,
Jérôme Siméon
,
Lionel Villard
An Algebraic Approach to View Maintenance for XQuery.
PLAN-X
(2008)
2007
Pierre Genevès
,
Nabil Layaïda
,
Alan Schmitt
XPath Typing Using a Modal Logic with Converse for Finite Trees.
PLAN-X
(2007)
Christoph Koch
XPath Leashed.
PLAN-X
(2007)
Giuseppe Castagna
,
Nils Gesbert
,
Luca Padovani
A Theory of Contracts for Web Services.
PLAN-X
(2007)
Alain Frisch
,
Keisuke Nakano
Streaming XML Transformation Using Term Rewriting.
PLAN-X
(2007)
J. Nathan Foster
,
Benjamin C. Pierce
,
Alan Schmitt
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.
PLAN-X
(2007)
Sebastian Maneth
,
Helmut Seidl
Deciding Equivalence of Top-Down XML Transformations in Polynomial Time.
PLAN-X
(2007)
PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007
PLAN-X
(2007)
Jorge Coelho
,
Mário Florido
XCentric: A Logic-Programming Language for XML Processing.
PLAN-X
(2007)
Kazuhiro Inaba
,
Haruo Hosoya
MTran: An XML Transformation Language Based on Monadic Second Order Logic.
PLAN-X
(2007)
Benoît Pin
,
Georges-André Silber
GeLaBa (A Framework to Define Classes of XML Documents and to Automatically Derive Specialized Infrastructures).
PLAN-X
(2007)
Kazuhiro Inaba
,
Haruo Hosoya
XML Transformation Language Based on Monadic Second Order Logic.
PLAN-X
(2007)
Ralf Lämmel
LINQ to XSD.
PLAN-X
(2007)
Jan Hidders
,
Philippe Michiels
,
Jérôme Siméon
,
Roel Vercammen
How to Recognise Different Kinds of Tree Patterns From Quite a Long Way Away.
PLAN-X
(2007)
James Cheney
Lux: A Lightweight, Statically Typed XML Update Language.
PLAN-X
(2007)
2006
Mary F. Fernández
,
Kathleen Fisher
,
Robert Gruber
,
Yitzhak Mandelbaum
PADX: Querying Large-scale Ad Hoc Data with XQuery.
PLAN-X
(2006)
Emmanuel Filiot
,
Joachim Niehren
,
Jean-Marc Talbot
,
Sophie Tison
Composing Monadic Queries in Trees.
PLAN-X
(2006)
Christian Kirkegaard
,
Anders Møller
Type Checking with XML Schema in XACT.
PLAN-X
(2006)
Vladimir Gapeyev
,
Michael Y. Levin
,
Benjamin C. Pierce
,
Alan Schmitt
XTATIC.
PLAN-X
(2006)
Akihiko Tozawa
Type Checking For Functional XML Programming Without Type Annotation.
PLAN-X
(2006)
John Evdemon
Service Interaction Patterns.
PLAN-X
(2006)
Christian Kirkegaard
,
Anders Møller
XACT - XML Transformations in Java.
PLAN-X
(2006)
Martin Sulzmann
,
Kenny Zhuo Ming Lu
XHaskell.
PLAN-X
(2006)
Vladimir Gapeyev
,
François Garillot
,
Benjamin C. Pierce
Statically Typed Document Transformation: An Xtatic Experience.
PLAN-X
(2006)
Jerome Vouillon
Polymorphism and XDuce-style patterns.
PLAN-X
(2006)
Erik Meijer
,
Brian Beckman
XML Support in Visual Basic 9.
PLAN-X
(2006)
Rajesh Bordawekar
,
Michael G. Burke
,
Igor Peshansky
,
Mukund Raghavachari
XJ: Integration of XML Processing into Java.
PLAN-X
(2006)
Dan Olteanu
Accelerating XPath Evaluation against XML Streams.
PLAN-X
(2006)
Daniela Florescu
,
Zhen Hua Liu
,
Anguel Novoselsky
Imperative Programming Languages with Database Optimizers.
PLAN-X
(2006)
PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, USA, January 14, 2006
PLAN-X
(2006)
Sacha Berger
,
François Bry
,
Tim Furche
Xcerpt and visXcerpt: IntegratingWeb Querying.
PLAN-X
(2006)
Mark Daly
,
Mary F. Fernández
,
Kathleen Fisher
,
Yitzhak Mandelbaum
,
David Walker
LAUNCHPADS: A System for Processing Ad Hoc Data.
PLAN-X
(2006)
Alain Frisch
OCaml + XDuce.
PLAN-X
(2006)
Alain Frisch
OCamlDuce.
PLAN-X
(2006)