ABSTRACT MACHINE NOTATION

'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.

Contents
References
See also

References


See also



★ Formal methods

★ Formal specification

This article provided by Wikipedia. To edit the contents of this article, click here for original source.

psst.. try this: add to faves
©2009 TripAtlas.com