Generic Validation Of XPath Data Bindings
Stc
Date: Oct 28
Time: 11:45
Room: BBL 471
Title: Generic validation of XPath data bindings
Abstract
Abstract: An XPath data binding is a translation of XPath expressions into
values of a programming language. In this talk we present an XPath-Haskell
data binding expressed as a generic program that validates XPath
expressions. XPath validation ensures that a path addresses a possibly
nonempty set of nodes of XML documents described by an XML Schema. We define
Generic Haskell programs that use a valid XPath expression to query and
update documents in a typed way. The information present in a given schema
is not only used to validate the XPath expression but also to prevent
visiting parts of the document in which no matches or updates will occur.
--
MerijnDeJonge - 21 Oct 2004
