Elimination algorithms for data flow analysis
ACM Computing Surveys (CSUR)
Constant propagation with conditional branches
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constant propagation with conditional branches
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On Live-Dead Analysis for Global Data Flow Problems
Journal of the ACM (JACM)
Summarizing graphs by regular expressions
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A program form based on data dependency in predicate regions
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hi-index | 0.00 |