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 machineAbstract Machine Notationabstract syntaxAbstract Syntax Notation 1

Try this search on Wikipedia, OneLook, Google


Loading