Regular Object Types

Regular types have been proposed as a foundation for statically typed processing of XML and other forms of tree-structured data. To date, however, regular types have only been explored in special-purpose languages (e.g., XDuce, CDuce, and XQuery) with type systems designed around regular types “from the ground up.” The goal of the Xtatic language is to bring regular types to a broad audience by offering them as a lightweight extension of a popular object-oriented language, C#.

[1]  Wenfei Fan,et al.  Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model , 1999, DBPL.

[2]  Benjamin C. Pierce,et al.  XDuce: A statically typed XML processing language , 2003, TOIT.

[3]  Philip Wadler,et al.  Featherweight Java: a minimal core calculus for Java and GJ , 1999, OOPSLA '99.

[4]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[5]  Martin Odersky,et al.  Making the future safe for the past: adding genericity to the Java programming language , 1998, OOPSLA '98.

[6]  Gottfried Vossen,et al.  The World Wide Web and Databases , 2001, Lecture Notes in Computer Science.

[7]  Jennifer Widom,et al.  Ozone: Integrating Structured and Semistructured Data , 1999, DBPL.

[8]  Mads Tofte,et al.  Type Inference for Polymorphic References , 1990, Inf. Comput..

[9]  Davide Ancona,et al.  True Modules for Java-like Languages , 2001, ECOOP.

[10]  Aske Simon Christensen,et al.  Extending Java for High-Level Web Service Construction , 2002 .

[11]  Martin Odersky,et al.  Pizza into Java: translating theory into practice , 1997, POPL '97.

[12]  Benjamin C. Pierce,et al.  Regular expression pattern matching for XML , 2003, POPL '01.

[13]  Boris Magnusson,et al.  ECOOP 2002 — Object-Oriented Programming , 2002, Lecture Notes in Computer Science.

[14]  Giuseppe Castagna,et al.  Semantic subtyping , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[15]  Jennifer Widom,et al.  Object exchange across heterogeneous information sources , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[16]  Akinori Yonezawa,et al.  Regular Expression Types for Strings in a Text Processing Language , 2002, Electron. Notes Theor. Comput. Sci..

[17]  Benjamin C. Pierce,et al.  XDuce: A Typed XML Processing Language (Preliminary Report) , 2000, WebDB.

[18]  Colin Runciman,et al.  Haskell and XML: generic combinators or type-based translation? , 1999, ICFP '99.

[19]  Philip Wadler,et al.  A Semi-monad for Semi-structured Data , 2001, ICDT.

[20]  Robert F. Stärk,et al.  Proof Theory in Computer Science , 2001, Lecture Notes in Computer Science.

[21]  Benjamin C. Pierce,et al.  Regular expression types for XML , 2000, TOPL.

[22]  Haruo Hosoya.  Validation and boolean operations for attribute-element constraints , 2002 .

[23]  Erik Meijer,et al.  Type-indexed rows , 2001, POPL '01.

[24]  Matthias Zenger,et al.  Type-Safe Prototype-Based Component Evolution , 2002, ECOOP.

[25]  R. G. G. Cattell,et al.  The Object Database Standard: ODMG-93 , 1993 .

[26]  Zhong Shao,et al.  Type-preserving compilation of featherweight java , 2003, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].

[27]  Thomas Studer,et al.  Constructive Foundations for Featherweight Java , 2001, Proof Theory in Computer Science.

[28]  Benjamin C. Pierce,et al.  Regular expression pattern matching for XML , 2003, J. Funct. Program..

[29]  Davide Ancona,et al.  A core calculus for Java exceptions , 2001, OOPSLA '01.

[30]  Ulrik Pagh Schultz.  Partial Evaluation for Class-Based Object-Oriented Languages , 2000 .

[31]  Sanjeev Khanna,et al.  Why and Where: A Characterization of Data Provenance , 2001, ICDT.

[32]  Craig Chambers,et al.  Alias annotations for program understanding , 2002, OOPSLA '02.

[33]  Atsushi Igarashi,et al.  On Inner Classes , 2000, ECOOP.

[34]  Eric van der Vlist,et al.  Relax NG , 2003 .

[35]  Harald Ganzinger,et al.  Programs as Data Objects , 1986, Lecture Notes in Computer Science.