Haruo Hosoya Kyoto University -u.ac.jp Ome Vouillon Cnrs ...  Home/Search
Context Related
| pps.jussieu.fr/~vouillo...regsub2.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pps.jussieu.fr/~vouillon/publi... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article, we propose regular expression types as a foundation for statically typed processing of XML documents. Regular expression types capture (and generalize) the regular expression notations (*, ?, |, etc.) commonly found in schema languages for XML, and support a natural semantic notion of subtyping (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML. http:// www.cis.upenn.edu/~hahosoya/xduce.html, 2000. http://citeseer.ist.psu.edu/hosoya00regular.html More
@article{ hosoya00regular,
author = "Haruo Hosoya and J{\'e}r{\^o}me Vouillon and Benjamin C. Pierce",
title = "Regular expression types for {XML}",
journal = "ACM SIG{\-}PLAN Notices",
volume = "35",
number = "9",
pages = "11--22",
year = "2000",
url = "citeseer.ist.psu.edu/hosoya00regular.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
585 Extensible markup language (context) - Bray, Paoli et al. - 2000
239 Dataguides: Enabling query formulation and optimization in s.. - Goldman, Widom - 1997
209 XML-QL: A Query Language for XML - Deutsch, Fernandez et al. - 1998
156 Adding structure to unstructured data - Buneman, Davidson et al. - 1997
140 XSL Transformations (context) - Clark - 1999
92 Subtyping recursive types - Amadio, Cardelli - 1990
66 XML Schema Part 0: Primer (context) - Fallside - 2001
61 Haskell and XML: Generic combinators or type-based translati.. - Wallace, Runciman - 1999
54 Regular expression pattern matching for XML - Hosoya, Pierce - 2001
53 DTD Inference for Views of XML Data - Papakonstantinou, Vianu - 2000
50 Implementing regular tree expressions - Aiken, Murphy - 1991
38 Coinductive axiomatization of recursive type equality and su.. - Brandt, Henglein - 1997
21 Hedge automata: a formal model for XML schemata - Murata - 2000
19 DSD: A schema language for XML - Klarlund, ller et al. - 2000
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.pps.jussieu.fr/~vouillon/publi/): More
Regular Expression Types for XML - Hosoya, Vouillon, Pierce (2000) (Correct)
Objective ML: A simple object-oriented extension of ML - Remy, Vouillon (1997) (Correct)
What's in Unison? A Formal Specification and Reference.. - Pierce, Vouillon (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC