Email this page to a friend

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