Richard Johnson, David Pearson, and Keshav Pingali. The program structure tree: Computing control regions in linear time. In Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), pages 171--185. ACM Press, 1994. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Static Single Information Form - Ananian, Rinard (1999) (1 citation) (Correct)
Code Compaction of Matching Single-Entry Multiple-Exit Regions - Chen, Li, Gupta (2003) (1 citation) (Correct)
The Static Single Information Form - Ananian (1999) (1 citation) (Correct)
Simple Generation of Static Single-Assignment Form - Aycock, Horspool (2000) (5 citations) (Correct)
Restructuring Programs By Tucking Statements Into Functions - Lakhotia, Deprez (1999) (16 citations) (Correct)
Timed Dependence Flow Graphs, an Intermediate Form for Verified.. - Chapman (1994) (Correct)
Partial Redundancy Elimination in SSA Form - Kennedy, Chan, LIU, LO, TU, CHOW (1999) (12 citations) (Correct)
A New Algorithm for Partial Redundancy Elimination.. - Chow, Chan, Kennedy, .. (1997) (33 citations) (Correct)
Optimizing Sparse Representations for Dataflow Analysis - Ruf (1995) (4 citations) (Correct)
Code Compression Techniques for Embedded Systems - Nyström, Runeson, Sjödin (Correct)
Continuous Profiling: Where Have All the Cycles Gone? - Anderson, BERC, DEAN.. (1997) (12 citations) (Correct)
Code Compression through Procedural Abstraction before Register.. - Runeson (2000) (4 citations) (Correct)
Range Searching Over Tree Cross Products - Buchsbaum, Goodrich, Westbrook (2000) (10 citations) (Correct)
Timed Dependence Flow Graphs, an Intermediate Form for Verified.. - Chapman (Correct)
Continuous Profiling: Where Have All the Cycles Gone? - Anderson, Berc, Dean.. (1997) (12 citations) (Correct)
Compiling For Multithreaded Architectures - Tang (1999) (1 citation) (Correct)
Designing Intermediate Representations for Optimization - Mock (1997) (Correct)
Continuous Profiling: Where Have All the Cycles Gone? - Jennifer M. Anderson.. (1997) (12 citations) (Correct)
Incremental Computation: A Semantics-Based Systematic.. - Liu (1996) (2 citations) (Correct)
Defining Flow Sensitivity in Data Flow Problems - Marlowe, Ryder, Burke (1995) (5 citations) (Correct)
Analysis and Optimization of Explicitly Parallel Programs - Novillo, Unrau, Schaeffer (1998) (Correct)
σ-SSA and its Construction through Symbolic.. - Saito, Polychronopoulos (1996) (Correct)
A Formally Verified High-Level Synthesis Front-end.. - Richard Chapman (Correct)
A Superstrand Architecture - Marquez, Theobald, Tang, Gao (1997) (1 citation) (Correct)
Efficient Building and Placing of Gating Functions - Tu, Padua (1995) (5 citations) (Correct)
Automatic Array Privatization And Demand-Driven Symbolic Analysis - Tu (1995) (41 citations) (Correct)
Restructuring Programs By Tucking Statements Into Functions - Arun Lakhotia And (1998) (16 citations) (Correct)
Hardware Compilation of Application-Specific.. - Venkataramani.. (2006) (Correct)
HLS Support for Unconstrained Memory Accesses - Girish Venkataramani Tiberiu (Correct)
A space-aware bytecode verifier for Java Cards - Bernardeschi, Lettieri.. (2005) (Correct)
Java Bytecode Verification With Dynamic Structures - Cinzia Bernardeschi Luca (2004) (Correct)
Efficient Building and Placing of Gating Functions - Peng Tu And (1995) (5 citations) (Correct)
The Static Single Information Form - Ananian (1999) (1 citation) (Correct)
Efficient Computation of Interprocedural Control Dependence - Ezick, Bilardi, Pingali Self-citation (Pingali) (Correct)
Collaborative Mathematics Environments - Chew, Constable, Pingali.. Self-citation (Pingali) (Correct)
Optimal Control Dependence Computation and the Roman Chariots .. - Pingali, Bilardi (1997) (19 citations) Self-citation (Pingali) (Correct)
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