Optimizing abstract abstract machines

DOI10.1145/2500365.2500604zbMath1323.68359arXiv1211.3722OpenAlexW2121309409MaRDI QIDQ5244823

J. Ian Johnson, Nicholas Labich, Matthew Might, David A. Vanhorn

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.3722

zbMATH Keywords

abstract interpretationabstract machines

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

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

This page was built for publication: Optimizing abstract abstract machines