28 citations · 52 across the 3 of their papers we have counts for
3 papers
cs.PL2015
Automating Abstract Interpretation of Abstract Machines
James Ian Johnson
Static program analysis is a valuable tool for any programming language that people write programs in. The prevalence of scripting languages in the world suggests programming langu…
cs.PL2013★ 24 cited
Abstracting Abstract Control (Extended)
J. Ian Johnson, David Van Horn
The strength of a dynamic language is also its weakness: run-time flexibility comes at the cost of compile-time predictability. Many of the hallmarks of dynamic languages such as c…
cs.PL2012★ 28 cited
Optimizing Abstract Abstract Machines
J. Ian Johnson, Nicholas Labich, Matthew Might +1
The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article…