A Aralex Aachen research explorer

January 01, 1995 conference-paper

Precise interprocedural dataflow analysis via graph reachability

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/199448.199462 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 1,175

StacKAT: Infinite State Network Verification
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

0

citations
Ernst Denert Award for Software Engineering 2019
2020 Springer eBooks book Computer Science Software Engineering Techniques and Practices Open access

2

citations

2 results

References 0