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. 17, 2013
Filed:
Nov. 06, 2009
John Lawrence Hamby, Seattle, WA (US);
Joshua Ryan Williams, Seattle, WA (US);
John D. Doty, Seattle, WA (US);
Clemens A. Szyperski, Redmond, WA (US);
David Michael Miller, Seattle, WA (US);
John Lawrence Hamby, Seattle, WA (US);
Joshua Ryan Williams, Seattle, WA (US);
John D. Doty, Seattle, WA (US);
Clemens A. Szyperski, Redmond, WA (US);
David Michael Miller, Seattle, WA (US);
Microsoft Corporation, Redmond, WA (US);
Abstract
Computing responses to semantic queries. A method includes accessing a plurality of objects that represent source code for an input program. The source code is transformed into a plurality of immutable objects that are structured such that the immutable objects can be used to derive any response as defined by the semantic rules about the source code. A query is received from a requestor requesting a semantic characteristic of the input program. The semantic characteristic is calculated. The semantic characteristic is returned to the requestor. The semantic characteristic is cached in a cache. Information describing a dependency between the cached semantic characteristic and one or more of the objects in the plurality of objects is stored.