Search the Kids Internet
Encyclopedia > Abstract Machine Notation
Article Content
Abstract Machine Notation
Abstract Machine Notation (AMN) is a computer programming language for specifying abstract machines in the B-Method[?], based on the mathematical theory of Generalised Substitutions[?].
This article is based on material from FOLDOC, used with permission. Update as needed.
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|