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:
Sep. 28, 2010
Filed:
Feb. 05, 2007
Henricus Johannes Maria Meijer, Mercer Island, WA (US);
Amanda K. Silver, Seattle, WA (US);
Paul A. Vick, Jr., Seattle, WA (US);
Eugueni Zabokritski, Redmond, WA (US);
Aleksey V. Tsingauz, Seattle, WA (US);
Henricus Johannes Maria Meijer, Mercer Island, WA (US);
Amanda K. Silver, Seattle, WA (US);
Paul A. Vick, Jr., Seattle, WA (US);
Eugueni Zabokritski, Redmond, WA (US);
Aleksey V. Tsingauz, Seattle, WA (US);
Microsoft Corporation, Redmond, WA (US);
Abstract
The claimed subject matter relates to a formalization of operator patterns that can facilitate type flow of element types between an operator in a first clause of an expression to an operator in a next clause of the expression. The type that flows to, and the operator extant in, the next clause can be combined to infer the element type of the next clause. As such, type-checking, autocompletion and other advantageous features can be accomplished incrementally without the need for a prior full translation of the expression.