[Cache from http://www.research.avayalabs.com/user/wadler/planx/accepted.html 2002年08月24日; please use this canonical URL/source if possible.]
Papers accepted to PLANX'02:
-
Static Analysis for Dynamic XML
, by
Aske Simon Christensen
(BRICS),
Anders Mxller
(BRICS) and
Michael I. Schwartzbach (BRICS).
-
On XML Objects
, by
Martin Kempa
(Insitut für Informationssysteme, Universitdt zu Lubeck) and
Volker Linnemann
(Insitut für Informationssysteme, Universitdt zu Lubeck).
-
CDuce: a white paper
, by
Veronique Benzaken
(U Paris XI (Paris-Sud), France),
Giuseppe Castagna
(ENS Paris, France) and
Alain Frisch (ENS Paris, France).
-
Projector: a partially typed language for querying XML
, by
Richard Connor
(University of Strathclyde),
David Lievens
(University of Strathclyde) and
Fabio Simeoni (University of Strathclyde).
-
Validation and Boolean operations for Attribute-Element
Constraints
, by
Haruo Hosoya
(Kyoto University) and
Makoto Murata (IBM Tokyo Research Laboratory).
-
XMLTK: An XML Toolkit for Scalable XML Stream Processing
, by
Iliana Avila-Campillo
(Institute for Systems Biology),
Todd Green
(Xyleme),
Ashish Gupta
(University of Washington),
Makoto Onizuka
(NTT Cyber Space Laboratories, NTT Corporation ),
Demian Raven
(University of Washington) and
Dan Suciu (University of Washington).
-
An Algorithm for Streaming XPath Processing with Forward and
Backward Axes
, by
Charles Barton
(IBM Research),
Philippe Charles
(IBM Research),
Marcus Fontoura
(IBM Research),
Deepak Goyal
(IBM Research),
Vanja Josifovski
(IBM Research) and
Mukund Raghavachari (IBM Research).
-
Automated Update Management for XML Integrity Constraints
, by
Michael Benedikt
(Lucent Technologies),
Glenn Bruns
(Lucent Technologies),
Julie Gibson
(Lucent Technologies),
Robin Kuss
(Lucent Technologies) and
Amy Ng (Lucent Technologies).