Introspective pushdown analysis of higher-order programs
From MaRDI portal
Publication:5168912
DOI10.1145/2364527.2364576zbMath1291.68117arXiv1207.1813MaRDI QIDQ5168912
Matthew Might, David A. Vanhorn, Ilya Sergey, Christopher F. Earl
Publication date: 21 July 2014
Published in: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1207.1813
program analysis; higher-order languages; abstract interpretation; pushdown systems; abstract machines; pushdown analysis; abstract garbage collection; cfa2
68N18: Functional programming and lambda calculus
Related Items
Abstract allocation as a unified approach to polyvariance in control-flow analyses, Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap, Analyzing pushdown systems with stack manipulation