The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jun. 01, 2010
Filed:
Aug. 11, 2005
Henricus Johannes Maria Meijer, Mercer Island, WA (US);
David N. Schach, Redmond, WA (US);
Avner Y. Aharoni, Seattle, WA (US);
Peter F. Drayton, Redmond, WA (US);
Henricus Johannes Maria Meijer, Mercer Island, WA (US);
David N. Schach, Redmond, WA (US);
Avner Y. Aharoni, Seattle, WA (US);
Peter F. Drayton, Redmond, WA (US);
Microsoft Corporation, Redmond, WA (US);
Abstract
The subject disclosure pertains to layering of a plurality of type systems. A development environment and language compilers can support multiple data models and their type systems in the same program. Elements of a program such as expressions can then be associated with several types from the multiple type systems. Compilers can employ the information provided by additional type systems to improve static type checking. Furthermore, the information can be bubbled up to a user in a plurality of forms including but not limited to intelligent assistance, auto-completion, tool tips, error information, and return types to enhance the program development experience.