Abstract machine notation
From Infogalactic: the planetary knowledge core
(Redirected from Abstract Machine Notation)
Lua error in package.lua at line 80: module 'strict' not found.
The 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.
See also
References
This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.
<templatestyles src="Asbox/styles.css"></templatestyles>