default search action

combined dblp search
author search
venue search
publication search

ask others

PLAN-X 2007: Nice, France

> Home > Conferences and Workshops > PLAN-X

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/planX/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/2007
PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007. 2007

Invited Talk

- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/Koch07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/Koch07
Christoph Koch:
XPath Leashed. 0-1

Papers

- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/FrischN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/FrischN07
Alain Frisch, Keisuke Nakano:
Streaming XML Transformation Using Term Rewriting. 2-13
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/HiddersMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/HiddersMS07
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. 14-24
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/Cheney07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/Cheney07
James Cheney:
Lux: A Lightweight, Statically Typed XML Update Language. 25-36
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/CastagnaGP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/CastagnaGP07
Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A Theory of Contracts for Web Services. 37-48
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/InabaH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/InabaH07
Kazuhiro Inaba, Haruo Hosoya:
XML Transformation Language Based on Monadic Second Order Logic. 49-60
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/GenevesLS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/GenevesLS07
Pierre Genevès, Nabil Layaïda, Alan Schmitt:
XPath Typing Using a Modal Logic with Converse for Finite Trees. 61-72
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/ManethS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/ManethS07
Sebastian Maneth, Helmut Seidl:
Deciding Equivalence of Top-Down XML Transformations in Polynomial Time. 73-79
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/FosterPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/FosterPS07
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt:
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. 80-90

Software Demonstrations

- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/InabaH07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/InabaH07a
Kazuhiro Inaba, Haruo Hosoya:
MTran: An XML Transformation Language Based on Monadic Second Order Logic. 91-92
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/CoelhoF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/CoelhoF07
Jorge Coelho, Mário Florido:
XCentric: A Logic-Programming Language for XML Processing. 93-94
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/Lammel07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/Lammel07
Ralf Lämmel:
LINQ to XSD. 95-96
- view
  - electronic edition @ plan-x-2007.org
  - details & citations
- export record
  dblp key:
  - conf/planX/PinS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/planX/PinS07
Benoît Pin, Georges-André Silber:
GeLaBa (A Framework to Define Classes of XML Documents and to Automatically Derive Specialized Infrastructures). 97-98

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.