PLAN-X 2006: Charleston, South Carolina, USA

Giuseppe Castagna, Mukund Raghavachari (Eds.): PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, January 14, 2006. BRICS, Department of Computer Science, University of Aarhus 2006

Online Edition

Invited Talk

• John Evdemon: Service Interaction Patterns. 1

Papers

• Vladimir Gapeyev, François Garillot, Benjamin C. Pierce: Statically Typed Document Transformation: An Xtatic Experience. 2-13
• Christian Kirkegaard, Anders Møller: Type Checking with XML Schema in XACT. 14-23
• Mary F. Fernández, Kathleen Fisher, Robert Gruber, Yitzhak Mandelbaum: PADX: Querying Large-scale Ad Hoc Data with XQuery. 24-35
• Alain Frisch: OCaml + XDuce. 36-48
• Jerome Vouillon: Polymorphism and XDuce-style patterns. 49-60
• Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison: Composing Monadic Queries in Trees. 61-70
• Akihiko Tozawa: Type Checking For Functional XML Programming Without Type Annotation. 71-81

Demos

• Dan Olteanu: Accelerating XPath Evaluation against XML Streams. 82
• Daniela Florescu, Zhen Hua Liu, Anguel Novoselsky: Imperative Programming Languages with Database Optimizers. 83
• Sacha Berger, François Bry, Tim Furche: Xcerpt and visXcerpt: IntegratingWeb Querying. 84
• Rajesh Bordawekar, Michael G. Burke, Igor Peshansky, Mukund Raghavachari: XJ: Integration of XML Processing into Java. 85
• Erik Meijer, Brian Beckman: XML Support in Visual Basic 9. 86
• Christian Kirkegaard, Anders Møller: XACT - XML Transformations in Java. 87
• Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XTATIC. 88
• Alain Frisch: OCamlDuce. 89
• Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker: LAUNCHPADS: A System for Processing Ad Hoc Data. 90-91
• Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell. 92