Abstract Machine Notation
<language> (AMN) A language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.
| < Previous Terms | Terms Containing Abstract Machine Notation | Next Terms > |
| abstract class abstract data type abstract interpretation abstraction abstract machine | abstract machine B-Method | abstract syntax Abstract Syntax Notation 1 abstract syntax tree Abstract-Type and Scheme-Definition Language Abstract Windowing Toolkit |
