Patent · US Active

Core object-oriented type system for semi-structured data

US8112740B2 · kind B2 · utility

32Cited by

9References

20Claims

0Family size

Assignee

Microsoft Corporation · US

Inventors

Erik Meijer · Mercer Island, US
Wolfram Schulte · Bellevue, US
Barend H. Venter · Issaquah, US
Chia-Hsun Chen · Redmond, US
Christopher J. Lovett · Woodinville, US
Matthew J. Warren · Redmond, US

Key dates

Filing date	Jun 16, 2008
Grant date	Feb 7, 2012
Priority date	—
Expiry date	Nov 2, 2030

Classification

Technology area (CPC G)Physics
CPC primaryG06F8/437
WIPO fieldComputer technology
WIPO sectorElectrical engineering

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.