Factored assert chains

Details Factored assert chains Factored assert chains

2007-09-18

2007-09-18

Dam, Tuan (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S140000, C717S148000, C717S154000

Reexamination Certificate

active

10625334

ABSTRACT:
Factored assert chains allow for improved tracking of implicit information in a computer program. The compiler may generate assert statements at various points in the program where there is implicit information. The dominator tree for the program or section of program may then be constructed. Then φ-nodes may be inserted throughout a control flow graph. Following that, for each statement in the program or section of program, an assert chain may be constructed from each use to the most recent available assert statement for the variable. Then, if the statement is an assert statement, each use may be kept track of as a mapping to an assertion, otherwise a mapping of any reference to an assert statement for each definition may be deleted. This may then iterate through the dominator tree. At the end, a series of factored assert chains remains, which may be utilized by the compiler to improve the efficiency of generated code.

REFERENCES:
patent: 5448737 (1995-09-01), Burke et al.
patent: 6091897 (2000-07-01), Yates et al.
patent: 6199095 (2001-03-01), Robinson
patent: 2002/0078436 (2002-06-01), Clarke
Wolfe, Michael, “High Performance Compilers For Parallel Computing”,Oregon Graduate Institute of Science&Technology, Chapter 6, pp. 166-223, Addison-Wesley Publishing Company, Inc.(1996).

Affiliated with

Also associated with

Rating

Factored assert chains does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Factored assert chains, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Factored assert chains will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3785836