Abstract Machine Notation
From Free net encyclopedia
(Redirected from B specification language)
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]
References
- This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.
[edit]