| On loops, dominators, and dominance frontier |
| Full text |
Pdf
(207 KB)
|
| Source
|
Conference on Programming Language Design and Implementation
archive
Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
table of contents
Vancouver, British Columbia, Canada
Pages: 233 - 241
Year of Publication: 2000
ISBN:1-58113-199-2
Also published in ...
|
|
Author
|
|
G. Ramalingam
|
IBM T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY
|
|
| Sponsors |
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 4, Downloads (12 Months): 50, Citation Count: 5
|
|
|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
Stephen Alstrup and Peter W. Lauridsen. A simple and optimal algorithm for finding immediate dominators in reducible graphs. Technical Report D-261/96, TOPPS Bibliography, 1996.
|
| |
3
|
Stephen Alstrup, Peter W. Lauridsen, and Mikkel Thorup. Dominators in linear time. Technical Report 96/35, Department of Computer Science, University of Copenhagen, 1996.
|
 |
4
|
|
 |
5
|
Jong-Deok Choi , Ron Cytron , Jeanne Ferrante, Automatic construction of sparse data flow evaluation graphs, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.55-66, January 21-23, 1991, Orlando, Florida, United States
[doi> 10.1145/99583.99594]
|
 |
6
|
|
 |
7
|
|
| |
8
|
|
 |
9
|
|
 |
10
|
|
| |
11
|
|
 |
12
|
|
 |
13
|
|
| |
14
|
G. Ramalingam. On loops, dominators, and dominance frontiers. Technical Report RC21513, IBM Research Division, June 1999.
|
 |
15
|
|
 |
16
|
|
 |
17
|
|
| |
18
|
B. Steensgaard. Sequentializing program dependence graphs for irreducible programs. Technical Report MSR-TR-93-14, Microsoft Research, Redmond, Wash., October 1993.
|
| |
19
|
Robert E. Tarjan. Testing flow graph reducibility. J. Comput. Syst. Sci., 9:355-365, 1974.
|
 |
20
|
|
CITED BY 5
|
|
|
|
|
|
|
|
Benoit Boissinot , Sebastian Hack , Daniel Grund , Benoît Dupont de Dine hin , Fabri e Rastello, Fast liveness checking for ssa-form programs, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, April 05-09, 2008, Boston, MA, USA
|
|
|
Peer to Peer - Readers of this Article have also read:
-
Data structures for quadtree approximation and compression
Communications of the ACM
28, 9
Hanan Samet
-
A hierarchical single-key-lock access control using the Chinese remainder theorem
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee
, Huizhu Lu
, D. D. Fisher
-
An intelligent component database for behavioral synthesis
Proceedings of the 27th ACM/IEEE conference on Design automation
Gwo-Dong Chen
, Daniel D. Gajski
-
The GemStone object database management system
Communications of the ACM
34, 10
Paul Butterworth
, Allen Otis
, Jacob Stein
-
Putting innovation to work: adoption strategies for multimedia communication systems
Communications of the ACM
34, 12
Ellen Francik
, Susan Ehrlich Rudman
, Donna Cooper
, Stephen Levine
|