Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis

DOI10.1145/2951913.2951936MaRDI QIDQ2985791zbMATH OpenOpenAlexFDO

Authors Thomas Gilray, Michael D. Adams, Matthew Might

Publication date 10 May 2017

Published in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

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

zbMATH Keywords

abstract allocationabstract interpretationcontext sensitivitycontrol-flow analysispolyvariancestatic analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• scientific article; zbMATH DE number 1629949
• From polyvariant flow information to intersection and union types
• Higher-ranked annotation polymorphic dependency analysis
• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators

Cited in

(2)

• scientific article; zbMATH DE number 1629949 (Why is no real title available?)
• Abstract allocation as a unified approach to polyvariance in control-flow analyses

This page was built for publication: Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis

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