Abstract machine notation
From Wikipedia, the free encyclopedia
(Redirected from Abstract Machine Notation)
 |
The topic of this article may not meet Wikipedia's general notability guideline. Please help to establish notability by adding reliable, secondary sources about the topic. If notability cannot be established, the article is likely to be merged, redirected, or deleted. (October 2011) |
 |
This article does not cite any references or sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (October 2011) |
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.
[edit] See also
[edit] References
This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.
 |
This programming language-related article is a stub. You can help Wikipedia by expanding it. |
