Abstract machine notation
From Wikipedia, the free encyclopedia
(Redirected from Abstract Machine Notation)
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)(Learn how and when to remove this template message)
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.|