Boots – shoes – and leggings
Patent
1991-12-31
1997-09-09
Ramirez, Ellis B.
Boots, shoes, and leggings
G06F 1700
Patent
active
056662963
ABSTRACT:
The method comprises the steps of converting the algorithm into a control flow graph having a plurality of nodes, each node representing at least one of the plurality of statements. The control flow graph further includes a conditional branching node for the data-dependent conditional branching statement. Reverse dominators are then computed for each of the plurality of nodes, from which a meet point node for each conditional branching node is derived. The method further provides for constructing a shadow symbol table housing the variables, and constructing a duplicate shadow symbol table for each possible value of the datum in response to the conditional branching node. The conditional branching node is also evaluated by assuming each possible value of the datum for each branch and assigning symbolic values to each of the variables in the shadow symbol table. The nodes contained in each branch are evaluated until the meet point node is reached. The duplicate shadow symbol tables are then merged. The symbolic evaluation continues until all the conditional branches are evaluated and the end of the control flow graph is reached to provide a conditional expression representing the algorithm.
REFERENCES:
patent: 4860204 (1989-08-01), Gendron et al.
patent: 5005119 (1991-04-01), Rumbaugh
patent: 5276881 (1994-01-01), Chan et al.
Tanner; "Providing Programmers With a Driver Debug Technique"; Hewlett Packard Journal Nov. 1989.
Quayle et al; "Efficient DAG Synthesis"; IEEE 1990.
Reiss; "Pecan: Program Development Systems that Support Multiple Views"; IEEE Tran. Software Eng. Mar. 1985.
Shung et al.; "An Integrated CAD System For Algorithm-Specific IC Design"; IEEE 1989.
Duncan et al; "Experiments With Hi-Pass DSP Synthesis System" IEEE 1992.
Kobrosly et al; "A Survey of Software Functional Testing Techniques"; IEEE 1988.
Banning; "The XDOS Binary Code Conversion System"; IEEE 1989.
Donaldson Richard L.
Heiting Leo N.
Ramirez Ellis B.
Texas Instruments Incorporated
Troike Robert L.
LandOfFree
Method and means for translating a data-dependent program to a d does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and means for translating a data-dependent program to a d, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and means for translating a data-dependent program to a d will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-73937