Abstract Machine Notation
<language> (AMN) A language for specifying abstract machines in the
B-Method, based on the mathematical theory of Generalised Substitutions.
(1995-03-13)
Nearby terms:
abstract interpretation « abstraction « abstract
machine «
Abstract Machine Notation » abstract syntax »
Abstract Syntax Notation 1 » abstract syntax tree
|