Wu et al. “Multi View intermediate representation based on algebraic data type” (IEEE publication) paper from High performance computing in asia-pacific 2000, pp. 263-264, vol., May 2000.* |
Bouhoula, A. “Simultaneous checking of completeness and ground confluence” (IEEE publication) paper in Automated software engineering, 2000, pp. 143-151, Sep. 2000.* |
IBM Technical Disclosure Bulletin, vol. 40, No. 10, Oct., 1997, “Export in Self-Defining Archive-Compatible Format From Remote Image Capture.” |
Jason McHugh et al., “Lore: A Database Management System for Semistructured Data,” Stanford University; dated unknown. |
Mariano P. Consens et al., “Optimizing Queries on Files,” Proceedings of the 1994 ACM SIGMOD Conference. |
L.J. Brown et al., “A Structured Text ADT for Object-Relational Databses,” University of Waterloo, Waterloo, Ontario, Canada, Jul. 1997. |
Peter Buneman et al., “A Query Language and Optimization Techniques for Unstructured Data,” Montreal, Canada, SIGMOD '96, Jun., 1996. |
Kwagnkeun Yi et al., “Automatic Generation Management of Interprocedural Program Analyses,” The Twentieth Annual ACM Symposium on Pfinciples of Programming Languages, Jan., 1993. |
Tim Bray et al. (Ed.), “Extensible Markup Language (SML) 1.0”, W3C Recommendations 10-Feb.-1998. |
Ke Wang et al., “Schema Discovery for Semistructured Data,” National University of Singapore, American Association for Artificial Intelligence, 1997, pp. 271-274. |
Elisa Bertino et al., “Indexing Techniques for Queries on Nested Objects,” IEEE Transactions on Knowledge and Data Engineering, vol. 1, No. 2, Jun., 1989. |
Partick Cousot et al., “Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints,” 1977, pp. 238-252. |
Roy Goldman et al., “DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases,” Proceedings of the 23rd VLDB Conference, Athens, Greece, 1997. |
Jason McHugh et al., “Indexing Semistructured Data,” Stanford, CA 21 pp.; date unknown. |
Mary Fernandez et al., “Optimizing Regular Path Expressions Using Graph Schemas,” AT&T Labs, Florham Park, NJ; dated unknown. |
Tova Milo et al., “Index Structures for path Expressions,” Tel Aviv University, AT&T Labs, 18 pp.; date unknown. |