Pushdown control-flow analysis for free
From MaRDI portal
Publication:2828314
DOI10.1145/2837614.2837631zbMath1347.68082arXiv1507.03137OpenAlexW3101981126MaRDI QIDQ2828314
Steven Lyde, Matthew Might, David A. Vanhorn, Michael D. Adams, Thomas Gilray
Publication date: 24 October 2016
Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1507.03137
static analysiscontrol-flow analysisabstract interpretationpushdown analysisstore-allocated continuations
Related Items
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap, Higher-Order Model Checking in Direct Style, Abstract allocation as a unified approach to polyvariance in control-flow analyses