Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2011-03-29
2011-03-29
Yigdall, Michael J (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C718S102000, C718S107000, C717S136000, C717S140000, C717S142000, C717S146000
Reexamination Certificate
active
07917900
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.
REFERENCES:
patent: 6230114 (2001-05-01), Hellestrand et al.
patent: 6343376 (2002-01-01), Saxe et al.
patent: 6353896 (2002-03-01), Holzmann et al.
patent: 6385765 (2002-05-01), Cleaveland et al.
patent: 6684389 (2004-01-01), Tanaka et al.
patent: 7316005 (2008-01-01), Qadeer et al.
patent: 7784035 (2010-08-01), Kahlon et al.
patent: 2002/0062463 (2002-05-01), Hines
patent: 2002/0087953 (2002-07-01), Hines
patent: 2002/0174415 (2002-11-01), Hines
patent: 2002/0199173 (2002-12-01), Bowen
patent: 2003/0028858 (2003-02-01), Hines
patent: 2003/0121027 (2003-06-01), Hines
patent: 2003/0191793 (2003-10-01), Dolin, Jr. et al.
patent: 2005/0010910 (2005-01-01), Lindhorst et al.
patent: 2005/0102681 (2005-05-01), Richardson
patent: 2005/0166039 (2005-07-01), Wang et al.
patent: 2005/0177775 (2005-08-01), Qadeer et al.
patent: 2006/0036910 (2006-02-01), Fung et al.
patent: 2006/0123430 (2006-06-01), Hunt et al.
patent: 2006/0218534 (2006-09-01), Kahlon et al.
patent: 2007/0011671 (2007-01-01), Kahlon et al.
Fischer, Jeffrey et al., “Tasks: Language Support for Event-driven Programming,” Proceedings of the ACM SIGPLAN 2007, ACM 2007 (10 pages).
Appel, Andrew W., “An Empirical and Analystic Study of Stack vs. Heap Cost for Languages with Closures,” J. Functional Programming 1, Cambridge University Press, Jan. 1993 (27 pages).
Gay, David et al., “The NesC Language: A Holisitic Approach to Networked Embedded Systems,” Nov. 2002, Copyright 2002, Intel Corporation (12 pages).
Li, Peng et al., “A Language-Based Approach to Unifying Events and Threads,” University of Pennsylvania, 2006.
Chandrasekharan Prakash
Conway Christopher L.
Joy Joseph
Rajamani Sriram K.
Hayim Samuel
Microsoft Corporation
Perkins Coie LLP
Yigdall Michael J
LandOfFree
Enabling analysis of software source code does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Enabling analysis of software source code, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Enabling analysis of software source code will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2749827