3 ms·They mean the abstract machine, in terms of which the semantics are defined.by foxfluff 5y agoThey mean the abstract machine, in terms of which the semantics are defined.