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:
Mar. 29, 2011
Filed:
Mar. 30, 2007
Sriram K. Rajamani, Bangalore, IN;
Prakash Chandrasekharan, Chennai, IN;
Christopher L. Conway, Brooklyn, NY (US);
Joseph Joy, Bangalore, IN;
Sriram K. Rajamani, Bangalore, IN;
Prakash Chandrasekharan, Chennai, IN;
Christopher L. Conway, Brooklyn, NY (US);
Joseph Joy, Bangalore, IN;
Microsoft Corporation, Redmond, WA (US);
Abstract
A source code clarification system is described. In various embodiments, the source code clarification system receives clarified source code and transforms the clarified source code into standard source code or object code that implements asynchronous components. The standard software source code can contain expressions for enabling asynchronous communications. The clarified code can be software source code that is expressed in an imperative language and is capable of static analysis. The clarified source code can contain a coordination primitive that encapsulates interactions between asynchronous components. By using the coordination primitives and events, the clarified source code can express interactions between asynchronous components so that the clarified source code is easier for developers to understand and for static analysis tools to analyze.