Control-flow analysis of functional programs

DOI10.1145/2187671.2187672MaRDI QIDQ2875080zbMATH OpenOpenAlexFDO

Authors Jan Midtgaard

Publication date 13 August 2014

Published in ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2187671.2187672

zbMATH Keywords

control-flow analysishigher-order functions

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Functional programming and lambda calculus (68N18)

Recommendations

• CFA2: A Context-Free Approach to Control-Flow Analysis
• CFA2: a context-free approach to control-flow analysis
• Demand control-flow analysis
• Exact flow analysis by higher-order model checking
• Control-flow analysis of function calls and returns by abstract interpretation

Cited in

(15)

• Demand control-flow analysis
• Termination analysis for functional programs
• Exact flow analysis by higher-order model checking
• scientific article; zbMATH DE number 4013995 (Why is no real title available?)
• Systematic abstraction of abstract machines
• scientific article; zbMATH DE number 4178742 (Why is no real title available?)
• Types from Control Flow Analysis
• The Qualified Function Approach to Analysis of Program Behavior and Performance
• scientific article; zbMATH DE number 1759999 (Why is no real title available?)
• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• Termination analysis and call graph construction for higher-order functional programs
• Systematic realisation of control flow analyses for CML
• Control-flow analysis of function calls and returns by abstract interpretation
• Control-flow analysis of function calls and returns by abstract interpretation
• Automatic alignment in higher-order probabilistic programming languages

This page was built for publication: Control-flow analysis of functional programs

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