abstract machine notation
abstract machine notation
in Technology
language
(AMN) A language for specifying abstract machines in the
B-Method
, based on the mathematical theory of Generalised Substitutions.
(1995-03-13)