Export Citations
1 Results for: Book/Issue: POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,784,674 records)|Limit your search to The ACM Full-Text Collection (765,805 records)
Showing 1 - 1of1 Results
Select All
- ArticleJanuary 1995
Precise interprocedural dataflow analysis via graph reachability
POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languagesPages 49–61https://doi.org/10.1145/199448.199462The paper shows how a large class of interprocedural dataflow-analysis problems can be solved precisely in polynomial time by transforming them into a special kind of graph-reachability problem. The only restrictions are that the set of dataflow facts ...