Abstract machine notation
From Wikipedia, the free encyclopedia
(Redirected from Abstract Machine Notation)
The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions.
|This programming language–related article is a stub. You can help Wikipedia by expanding it.|