Principles of abstract machines
Abstract machines for programming language implementation
Abstract machine construction through operational semantics refinements
Compilation versus abstract machines for fast parsing of typed feature structure grammars
An abstract machine model of dynamic module replacement
CHAT: the copy-hybrid approach to tabling
Visualizing principles of abstract machines by generating interactive animations
Dynamic semantics of Java bytecode