Data processing: software development – installation – and managem – Software program development tool – Programming language
Reexamination Certificate
2008-06-16
2011-11-15
Rutten, James D (Department: 2197)
Data processing: software development, installation, and managem
Software program development tool
Programming language
C717S128000, C717S141000
Reexamination Certificate
active
08060859
ABSTRACT:
A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
REFERENCES:
patent: 5675730 (1997-10-01), Perdue et al.
patent: 5875334 (1999-02-01), Chow et al.
patent: 5889992 (1999-03-01), Koerber
patent: 6513144 (2003-01-01), Kim et al.
patent: 6578192 (2003-06-01), Boehme et al.
patent: 6585778 (2003-07-01), Hind et al.
patent: 6993744 (2006-01-01), Hills
patent: 6993751 (2006-01-01), Bhansali et al.
patent: 7299449 (2007-11-01), Ruellan et al.
patent: 7389498 (2008-06-01), Meijer
patent: 2002/0188537 (2002-12-01), Leeds et al.
patent: 2004/0216086 (2004-10-01), Bau
patent: 2008/0306617 (2008-12-01), Meijer
Jeffrey Richter, “Applied Microsoft® .NET Framework Programming”, Jan. 23, 2002, Microsoft Press, Sections 1.7 and 17.2.
Pankowski, “XML-SQL: An XML query language based on SQL and path tables”, 2002, Lecture Notes in Computer Science 2490.
“An Extensible Hierarchical Schema in C++ Using Template Specialization”, Originally published Aug. 2000, IBM Technical Disclosure Bulletin, Issue 436, TDB-ACC-No. NNRD436134, accessed from ip.com, IP.com No. IPCOM000013525D.
Pierce. Types and Programming Languages. The MIT Press, Cambridge, Massachusetts, 2002.
W3C.ORG. XQuery 1.0: An XML Query Language. W3C Working Draft, May 2, 2003 http://www.w3.org/TR/2003/WD-xquery-20030502/. Last accessed Sep. 18, 2008, 332 pages.
Chinenyanga, et al. An Expressive and Efficient Language for XML Information Retrieval. Journal of the American Society for Information Science and Technology. Jun. 5, 2001. http://citeseerx.psu.edu/viewdoc/summary?doi=10.1.1.16.5438. Last accessed Sep. 18, 2008, 30 pages.
Meijer, et al. XMLambda: A Functional Language for Constructing and Manipulating XML Documents. USENIX Annual Technical Conference, 2000. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.8937. Last accessed Sep. 18, 2008, 13 pages.
Leontiev, et al. On Type Systems for Object-Oriented Database Programming Languages. ACM Computing Surveys, vol. 34 No. 4, pp. 409-449, Dec. 2002. http://portal.acm.org/citation.cfm?id=592643. Last accessed Sep. 18, 2008, 41 pages.
Cardelli, et al. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys, vol. 17 No. 4, Dec. 1985, pp. 471-522. http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf. Last accessed Sep. 18, 2008, 42 pages.
Buchi, e al. Compound Types for Java. In Proceedings of OOPSLA 1998, ACM Press, pp. 362-373. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.4246. Last accessed Sep. 18, 2008, 12 pages.
Suciu. Semistructured Data and XML, AT&T Labs, In Proceeding of International Conference of Data Organzation, 1998. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4061. Last accessed Sep. 18, 2008, 13 pages.
Buneman. Semistructured Data. Army Research Office and National Science Foundation, 1997. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.5580. Last accessed Sep. 18, 2008, 5 pages.
Meijer, et al. Technical Overview of the Common Language Runtime, In Proceedings PLDI, 2001. http://research.microsoft.com/˜emeijer/Papers/CLR.pdf. Last accessed Sep. 18, 2008, 11 pages.
Hostetter, et al. Curl: A Gentle Slope Language for the Web. World Wide Web Journal, II(2), 1997. http://www.cag.csail.mit.edu/curl/wwwpaper.html. Last accessed Sep. 18, 2008, 18 pages.
Fuchs, et al. “Schema for Object-oriented XML.” http://www.w3.org/TR/1998/NOTE-SOX-19980930/. Last accessed Sep. 18. 2008, 61 pages.
Jones, et al. Scripting COM Components in Haskell. In : Proc. of the Fifth International Conference on Software Reuse, Victoria, British Columbia, Jun. 1998. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.7197. Last accessed Sep. 18, 2008, 11 pages.
Finne, et al. H/Direct: A Binary Foreign Language Interface for Haskell. In ICFP'98. http://citeseerx.ist.psu.edu/viewdoc/summary2doi=10.1.1.55.2592. Last accessed Sep. 19, 2008, 10 pages.
Sperberg-McQueen, et al. XML Schema, W3C Architecture Domain. Retrieved from the net on Jul. 7, 2005, 18 pages.
Breazu-Tannen, et al. Inheritance As Implicit Coercion. In: Information and Computation, 1991, vol. 93, pp. 172-221. Last accessed Jul. 8, 2005, 47 pages.
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns, 1995, 395 pages.
Office Action mailed on Jul. 3, 2006 cited in U.S. Appl. No. 10/396,066, filed Mar. 25, 2003.
Office Action mailed on Dec. 18, 2006 cited in U.S. Appl. No. 10/396,066, filed Mar. 25, 2003.
Office Action mailed on Jul. 13, 2007 cited in U.S. Appl. No. 10/396,066, filed Mar. 25, 2003.
Notice of Allowance mailed on Mar. 31, 2008 cited in U.S. Appl. No. 10/396,066, filed Mar. 25, 2003.
Yasser Shohoud, “Real World XML Web Services: for VB and VB .NET Developers,” Sep. 17, 2002, Addison-Wesley Professional, Excerpt from Ch. 2.
Abelson, et al., “Structure and Interpretation of Computer Programs”, 1996, The MIT Press, McGraw-Hill, Second Edition, Accessed online at <http://mitpress.mit.edu/sicp/full-text/sicp/book/book.html>—Node 87.
U.S. Appl. No. 12/139,693, mailed May 11, 2011, filed Jun. 16, 2008, Office Action.
Chen Chia-Hsun
Lovett Christopher J.
Meijer Erik
Schulte Wolfram
Venter Barend H.
Microsoft Corporation
Rutten James D
Workman Nydegger
LandOfFree
Core object-oriented type system for semi-structured data does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Core object-oriented type system for semi-structured data, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Core object-oriented type system for semi-structured data will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4287111