Conference Paper

Analysis of Imperative XML Programs.

Conference: Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers
Source: DBLP
0 Bookmarks
 · 
74 Views
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output DTD, for inputs satisfying a given input DTD. This problem had been studied by a subset of the authors in a simplified framework that captured the structure of XML documents but ignored data values. We revisit here the typechecking problem in the more realistic case when data values are present in documents and tested by queries. In this extended framework, typechecking quickly becomes undecidable. However, it remains decidable for large classes of queries and DTDs of practical interest. The main contribution of the present paper is to trace a fairly tight boundary of decidability for typechecking with data values. The complexity of typechecking in the decidable cases is also considered.
    Journal of Computer and System Sciences. 07/2002;
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We present the functional language C Duce, discuss some design issues, and show its adequacy for working with XML documents. Distinctive features of C Duce are a powerful pattern matching, first class functions, overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences) , precise type inference for patterns and error localization, and a natural interpretation of types as sets of values. We also outline some important implementation issues; in particular, a dispatch algorithm that demonstrates how static type information can be used to obtain very efficient compilation schemas.
    SIGPLAN Notices. 01/2003; 38:51-63.
  • [Show abstract] [Hide abstract]
    ABSTRACT: An attribute grammar is one-visit if the attributes can be evaluated by walking through the derivation tree in such a way that each subtree is visited at most once. One-visit (1V) attribute grammars are compared with one-pass left-to-right (L) attribute grammars and with attribute grammars having only one synthesized attribute (1S).
    Acta Informatica 01/1981; 16:275-302. · 0.47 Impact Factor

Full-text (2 Sources)

View
33 Downloads
Available from
May 29, 2014