Systematic realisation of control flow analyses for CML

DOI10.1145/258948.258954MaRDI QIDQ5348864zbMATH OpenOpenAlexFDO

Authors Kirsten L. Solberg Gasser, Flemming Nielson, 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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1231557
• A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
• Control-flow analysis of functional programs
• Exact flow analysis by higher-order model checking
• scientific article; zbMATH DE number 1692944

Cited in

(4)

• A cost-effective estimation of uncaught exceptions in Standard ML programs
• CFA2: A Context-Free Approach to Control-Flow Analysis
• Control-flow analysis of function calls and returns by abstract interpretation
• Static analysis for the \(\pi\)-calculus with applications to security

This page was built for publication: Systematic realisation of control flow analyses for CML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348864)