46 citations · 222 across the 24 of their papers we have counts for
1 paper · 2 filters
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…