Optimizing Abstract Abstract Machines

TitleOptimizing Abstract Abstract Machines
Publication TypeJournal Articles
Year of Publication2013
AuthorsJ. Johnson I, Labich N, Might M, Van Horn D
JournalarXiv:1211.3722 [cs]
Date Published2013///
KeywordsComputer Science - Programming Languages, F.3.2

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.