abstract machine notation

from The Free On-line Dictionary of Computing (8 July 2008)

Abstract Machine Notation

   <language> (AMN) A language for specifying {abstract machines}
   in the {B-Method}, based on the mathematical theory of
   {Generalised Substitutions}.

   (1995-03-13)