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)
Copyright © 2003-2025 Farlex, Inc
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.