A posteriori environment analysis with Pushdown Delta CFA
From MaRDI portal
Publication:5370842
DOI10.1145/3009837.3009899zbMath1380.68092OpenAlexW2564945203MaRDI QIDQ5370842
Matthew Might, Kimball Germane
Publication date: 20 October 2017
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3009837.3009899
This page was built for publication: A posteriori environment analysis with Pushdown Delta CFA