Search Dictionary
Abstract machine notation Definition from Language, Idioms & Slang Dictionaries & Glossaries
Abstract machine notation Definition from Encyclopedia Dictionaries & Glossaries
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.
| See more at Wikipedia.org... |
