 |
|
| ||||||||||||||||||||||||||
|
|
| ||||||||||||||||||||||||||
|
|
|
|
|
| ||||||||
Abstract Machine Notation (AMN) is a programming language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.
This article was originally based on material from the Free On-line Dictionary of Computing and is used under the GFDL.
|
||||
| View Live Article | This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License | |
||
