1. Abstract Machine Notation AMN A language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.
abstract machine notation |