Optimizing abstract abstract machines

DOI10.1145/2500365.2500604MaRDI QIDQ5244823zbMATH OpenOpenAlexFDO

Authors J. Ian Johnson, Nicholas Labich, Matthew Might, David van Horn

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)

Abstract: The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article contributes a complementary step-by-step process for subsequently going from a naive analyzer derived under the AAM approach, to an efficient and correct implementation. The end result of the process is a two to three order-of-magnitude improvement over the systematically derived analyzer, making it competitive with hand-optimized implementations that compute fundamentally less precise results.

Recommendations

• Systematic abstraction of abstract machines
• Abstracting abstract machines
• Optimizing abstract SECD machine code
• Logic Programming
• Description and optimization of abstract machines in a dialect of Prolog

Cited in

(10)

• A generative methodology for the design of abstract machines
• Optimizing abstract SECD machine code
• Distilling abstract machines
• Systematic abstraction of abstract machines
• An abstract machine for the old value retrieval
• Accurate Step Counting
• Run-time type computations in the Warren Abstract machine
• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• Abstracting abstract machines
• Logic Programming

This page was built for publication: Optimizing abstract abstract machines

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