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

DOI10.1145/2951913.2951936zbMath1360.68364OpenAlexW2517799069MaRDI QIDQ2985791

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

static analysiscontrol-flow analysisabstract interpretationcontext sensitivitypolyvarianceabstract allocation

Mathematics Subject Classification ID

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

Related Items (1)

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