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