↓Skip to main content

A Typed Calculus for Querying Distributed XML Documents

XML Semantics Concurrency
Table of Contents

Lucia Acciai, Michele Boreale, Silvano Dal Zilio
In NWPT 2005 — 17th Nordic Workshop on Programming Theory, oct 2005.

conference paper

 PDF  HAL-00091917

Abstract
#

We study the problems related to querying large, distributed XML documents. Our proposal takes the form of a new process calculus in which XML data are processes that can be queried by means of concurrent pattern-matching expressions. What we achieve is a functional, strongly-typed programming model based on three main ingredients: an asynchronous process calculus in the style of Milner’s pi-calculus and existing semantics for concurrent-ML; a model where documents and expressions are both represented as processes, and where evaluation is represented as a parallel composition of the two; a static type system based on regular expression types.

Citation
#


@InProceedings{DalzilioS:tcqxmlNWPT,
   author    = {Acciai, Lucia and Boreale, Michele and {Dal Zilio}, Silvano},
   title     = {{A Typed Calculus for Querying Distributed XML Documents}},
   booktitle = {NWPT 2005 -- 17th Nordic Workshop on Programming Theory},
   month     = oct, 
   year      = 2005
}