Abstract Machine Notation


Also found in: Acronyms.

Abstract Machine Notation

(language)
(AMN) A language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)