Search dblp for Publications

export results for "toc:db/conf/planx/planX2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/planX/CastagnaGP07,
  author       = {Giuseppe Castagna and
                  Nils Gesbert and
                  Luca Padovani},
  title        = {A Theory of Contracts for Web Services},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {37--48},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/CastagnaGP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/Cheney07,
  author       = {James Cheney},
  title        = {Lux: {A} Lightweight, Statically Typed {XML} Update Language},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {25--36},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/Cheney07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/CoelhoF07,
  author       = {Jorge Coelho and
                  M{\'{a}}rio Florido},
  title        = {XCentric: {A} Logic-Programming Language for {XML} Processing},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {93--94},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/CoelhoF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/FosterPS07,
  author       = {J. Nathan Foster and
                  Benjamin C. Pierce and
                  Alan Schmitt},
  title        = {A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {80--90},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/FosterPS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/FrischN07,
  author       = {Alain Frisch and
                  Keisuke Nakano},
  title        = {Streaming {XML} Transformation Using Term Rewriting},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {2--13},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Thu, 26 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/planX/FrischN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/GenevesLS07,
  author       = {Pierre Genev{\`{e}}s and
                  Nabil Laya{\"{\i}}da and
                  Alan Schmitt},
  title        = {XPath Typing Using a Modal Logic with Converse for Finite Trees},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {61--72},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/GenevesLS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/HiddersMS07,
  author       = {Jan Hidders and
                  Philippe Michiels and
                  J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
                  Roel Vercammen},
  title        = {How to Recognise Different Kinds of Tree Patterns From Quite a Long
                  Way Away},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {14--24},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/HiddersMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/InabaH07,
  author       = {Kazuhiro Inaba and
                  Haruo Hosoya},
  title        = {{XML} Transformation Language Based on Monadic Second Order Logic},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {49--60},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/InabaH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/InabaH07a,
  author       = {Kazuhiro Inaba and
                  Haruo Hosoya},
  title        = {MTran: An {XML} Transformation Language Based on Monadic Second Order
                  Logic},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {91--92},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/InabaH07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/Koch07,
  author       = {Christoph Koch},
  title        = {XPath Leashed},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {0--1},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/Koch07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/Lammel07,
  author       = {Ralf L{\"{a}}mmel},
  title        = {{LINQ} to {XSD}},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {95--96},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/Lammel07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/ManethS07,
  author       = {Sebastian Maneth and
                  Helmut Seidl},
  title        = {Deciding Equivalence of Top-Down {XML} Transformations in Polynomial
                  Time},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {73--79},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/ManethS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/planX/PinS07,
  author       = {Beno{\^{\i}}t Pin and
                  Georges{-}Andr{\'{e}} Silber},
  title        = {GeLaBa {(A} Framework to Define Classes of {XML} Documents and to
                  Automatically Derive Specialized Infrastructures)},
  booktitle    = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  pages        = {97--98},
  year         = {2007},
  url          = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/planX/PinS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/planX/2007,
  title        = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
                  {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
                  20, 2007},
  year         = {2007},
  timestamp    = {Thu, 22 Feb 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/planX/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.