Science Fair Project Encyclopedia
Abstract Machine Notation
Abstract Machine Notation (AMN) is a programming language for specifying abstract machines in the B-Method , based on the mathematical theory of Generalised Substitutions .
References
Last updated: 08-30-2005 09:30:24
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


