Abstract allocation as a unified approach to polyvariance in control-flow analyses

DOI10.1017/S0956796818000138MaRDI QIDQ4625159zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Gilray, Michael D. Adams, Matthew Might

Publication date 20 February 2019

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796818000138

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
• scientific article; zbMATH DE number 1629949
• Publication:4490730
• From polyvariant flow information to intersection and union types
• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• A modular, polyvariant and type-based closure analysis
• A Posteriori Soundness for Non-deterministic Abstract Interpretations
• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• Abstract interpreters for free
• Abstracting abstract machines
• Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
• CFA2: A Context-Free Approach to Control-Flow Analysis
• Compiling with continuations, continued
• Control-flow analysis of functional programs
• Deciding kCFA is complete for EXPTIME
• From polyvariant flow information to intersection and union types
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• scientific article; zbMATH DE number 1538021 (Why is no real title available?)
• Improving flow analyses via ΓCFA
• Introspective pushdown analysis of higher-order programs
• Optimizing abstract abstract machines
• Pick your contexts well, understanding object-sensitivity
• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
• Pushdown control-flow analysis for free
• Systematic design of program transformation frameworks by abstract interpretation

Cited in

(4)

• scientific article; zbMATH DE number 1629949 (Why is no real title available?)
• Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• Improving flow analyses via ΓCFA

This page was built for publication: Abstract allocation as a unified approach to polyvariance in control-flow analyses

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