Abstract machines

abstract computation model; mathematical model of computation that defines an abstract machine which manipulates symbols on a strip of tape according to a table of rules

theoretical model of a computer hardware or software system used in automata theory

virtual and Abstract Machine target for functional programming language compiler

abstract machine for the execution of Prolog