Abstract Machine Notation
<language>
(AMN) A language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.
Last updated: 1995-03-13
Nearby terms:
abstract machine ♦ Abstract Machine Notation ♦ abstract syntax ♦ Abstract Syntax Notation 1
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
