System and method for solving monotone information propagation p

Details System and method for solving monotone information propagation p System and method for solving monotone information propagation p

1991-09-20

1994-07-05

Kriess, Kevin A.

Boots, shoes, and leggings

3642804, 364DIG1, 364973, 364DIG2, 36423222, G06F 945, G06F 944, G06F 900

Patent

active

053275616

ABSTRACT:
A method and system is provided for constructing sparse evaluation graphs for forward or backward monotone data flow problems. The sparse graph combines information as early as possible, yet directly connects nodes that generate and use information. This allows problems from the large, general class of monotone data flow problems to enjoy the advantages of solutions based on Static Single Assignment (SSA) form.
The present invention includes a compiler configured to transform a source program into optimized executable code. The compiler contains an optimizer which is configured to optimize the source program, in which the source program and optimization program are represented by a data flow framework. The optimizer includes a sparse evaluation graph generator which generates a sparse evaluation graph and an evaluator connected to evaluate the sparse evaluation graph in relation to the data flow framework.

REFERENCES:
patent: 4656583 (1987-04-01), Auslander et al.
patent: 5093916 (1992-03-01), Karp et al.
Cytron et al., Efficiently Computing Static Single Assignment Form and the Control Dependence Graph, ACM Tansactions on Programming Languages and Systems, vol. 13, No. 4, pp. 451-490, (1991).
Cytron et al., An Efficient Method of Computing Static Single Assignment Form, ACM Transations on Programming Languages and Systems, pp. 25-35, (1989).
Jeanne Ferrante, The Program Dependence Graph And Its Use In Optimization, Jun. 1984, 1-33.

Affiliated with

Also associated with

Rating

System and method for solving monotone information propagation p does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for solving monotone information propagation p, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for solving monotone information propagation p will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-803538