出典:Wikipedia
出典:『Wikipedia』 (2011/06/04 20:59 UTC 版)
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.