Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. E#ciently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, October 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Pathfinder: Compiling XQuery - For Execution On (Correct)
No context found.
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. E#ciently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, October 1991.
Experience in Testing Compiler Optimizers - Using Comparison Checking (Correct)
No context found.
Cytron, R., Ferrante, J., Rosen, B. K., Wegman, M. N. and Zadeck, F. K. E#ciently Computing Static Single Assignment Form and the Control Dependence Graph, ACM Trans. Prog. Lang. Syst., Vol. 13, No. 4, pp. 451--490 (1991).
Unknown - (Correct)
No context found.
Cytron, R., Ferrante, J., Rosen, B. K., Wegman, M. N. and Zadeck, F. K.: E#ciently Computing Static Single Assignment Form and the Control Dependence Graph, ACM Transactions on Programming Languages and Systems, Vol. 13, No. 4, pp. 451--490 (1991).
Automatic Vulnerability Detection Using Static Source Code Analysis - Sotirov (2005) (Correct)
No context found.
Cytron, Ron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. 1991. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems 13(4):451--490.
The New Framework for Loop Nest Optimization in GCC.. - Pop, Cohen, Jouvelot, .. (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Trans. on Programming Languages and Systems, 13(4):451--490, Oct. 1991.
Unknown - Optimization Of Straight-Line (2005) (Correct)
No context found.
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. K Zadeck. E#ciently computing static single assignment form and the control dependence graph. Technical report, Providence, RI, USA, 1991.
Dynamic Path Conditions in Dependence Graphs - Hammer, Grimme, Krinke (2006) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, pages 451--490, October 1991.
Report No. UCB/CSD-4-1353 - August Computer Science (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, Oct. 1990.
Sparse Bidirectional Data Flow Analysis as a Basis for Type.. - Singer (2004) (Correct)
No context found.
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, Oct 1991.
Induction Variable Analysis with Delayed Abstractions - Pop, Cohen, Silber (2005) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Trans. on Programming Languages and Systems, 13(4):451--490, Oct. 1991.
Induction Variable Analysis with Delayed Abstractions - Pop, Cohen, Silber (2005) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Trans. on Programming Languages and Systems, 13(4):451--490, Oct. 1991.
Verification of Source Code Transformations by.. - Shashidhar.. (2005) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, 1991.
XJ: Facilitating XML Processing in Java - Harren, Raghavachari, Shmueli, al. (2005) (3 citations) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, October 1991.
Induction Variable Analysis with Delayed Abstractions - Pop, Cohen, Silber (2005) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Trans. on Programming Languages and Systems, 13(4):451--490, Oct. 1991.
Induction Variable Analysis without Idiom Recognition.. - Wu, Cohen, Padua (2001) (3 citations) (Correct)
No context found.
R. Cytron, J. Ferrante, B.K. Rosen, M.N. Wegman, and F.K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Trans. on Programming Languages and Systems, 13(4):451--490, October 1991.
The New Framework for Loop Nest Optimization in GCC.. - Pop, Cohen, Jouvelot, .. (2006) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Trans. on Programming Languages and Systems, 13(4):451--490, Oct. 1991.
Verification of Source Code Transformations by.. - Shashidhar.. (2005) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, 1991.
XJ: Facilitating XML Processing in Java - Matthew Harren University (2005) (3 citations) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, October 1991.
Improving Mobile Program Performance through the Use of a Hybrid.. - Krintz (2002) (3 citations) (Correct)
No context found.
Cytron, R., Ferrante, J., Rosen, B., Wegman, M., Zadeck, F.: E#ciently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems 13 (1991) 451--490
Tracking Pointers with Path and Context Sensitivity for Bug.. - Livshits, Lam (2003) (6 citations) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, October 1991.
Efficient Implementation of Concurrent Programming Languages - Stenman (2002) (Correct)
No context found.
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, October 1991.
Using Multiple Memory Access Instructions for - Reducing Code Size (Correct)
No context found.
Cytron, R. K., Ferrante, J., Rosen, B. K., Wegman, M. N., and Zadeck, F. K. E#ciently Computing the Static Single Assignment Form and the Control Dependence Graph. ACM Trans. Programming Languages and Systems 12,4 (October 1991), 451--490.
Pattern and Approximate-Pattern Matching for Program Compaction - Johnson, Mycroft (Correct)
No context found.
Cytron, R. K., Ferrante, J., Rosen, B. K., Wegman, M. N., and Zadeck, F. K. E#ciently computing the static single assignment form and the control dependence graph. ACM Trans. Programming Languages and Systems 12, 4 (October 1991), 451--490.
Slicing Concurrent Java Programs: Issues and Solutions - Nanda (2001) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. E- ciently computing the static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451{ 490, 1991.
Fairplay - A Secure Two-Party Computation System - Malkhi, Nisan, Pinkas, Sella (2004) (4 citations) (Correct)
No context found.
R. Cytron, J. Ferrante, B. K. Rosen, M.N. Wegman, and F. K. Zadeck. E#ciently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-- 490, 1991.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC