Software tool with modeling of asynchronous program flow

Details Software tool with modeling of asynchronous program flow Software tool with modeling of asynchronous program flow

2005-01-14

2009-12-08

Dam, Tuan Q (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S144000, C717S159000

Reexamination Certificate

active

07631304

ABSTRACT:
A compiler that forms an intermediate representation of a program using a flow graph with less than all possible edges used to model asynchronous transfers within the program. The flow graph is formed in multiple phases. In one phase, the flow graph is formed without modeling asynchronous transfers. In later phases, representations of the effects of the asynchronous transfers are selectively added. As part of the later phases, edges modeling a possible asynchronous transfer are added to the flow graph following definitions in protected regions of variables that are live outside the protected region. A modified definition of live-ness of a variable is used to incorporate use of the variable in any region, including the protected region, following an asynchronous transfer. Edges from the protected region are also added to the model if the only use of the defined variable is in a handler.

REFERENCES:
patent: 5778233 (1998-07-01), Besaw et al.
patent: 6113651 (2000-09-01), Sakai et al.
patent: 6412109 (2002-06-01), Ghosh
patent: 2004/0268330 (2004-12-01), Grover et al.
patent: 2006/0174227 (2006-08-01), Bearman
“A type system for Java bytecode subroutines”, Stata et al., Jan. 1999, pp. 90-137. Online retrieved at <http://delivery.acm.org/10.1145/320000/314606/p90-stata.pdf>.
“Exception handling in component composition with the support of middleware”, Feng et al., Sep. 2005, pp. 90-97. Online retrieved at <http://delivery.acm.org/10.1145/1110000/1108493/p90-feng.pdf>.
“Slicing java programs that throw and catch exceptions”, Allen et al., Jun. 2003, pp. 44-54. Online retrieved at <http://delivery.acm.org/10.1145/780000/777394/p44-allen.pdf>.

Affiliated with

Also associated with

Rating

Software tool with modeling of asynchronous program flow does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Software tool with modeling of asynchronous program flow, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Software tool with modeling of asynchronous program flow will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4109022