Systematic realisation of control flow analyses for CML
From MaRDI portal
Publication:5348864
DOI10.1145/258948.258954zbMath1369.68097OpenAlexW2052075892MaRDI QIDQ5348864
Flemming Nielson, Kirsten L. Solberg Gasser, Hanne Riis Nielson
Publication date: 21 August 2017
Published in: Proceedings of the second ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/258948.258954
Related Items
Control-flow analysis of function calls and returns by abstract interpretation, Static analysis for the \(\pi\)-calculus with applications to security
