| Information | |
|---|---|
| has gloss | eng: Abstract Machine Notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions. |
| lexicalization | eng: Abstract Machine Notation |
| instance of | c/Formal specification languages |
Lexvo © 2008-2026 Gerard de Melo. Contact Legal Information / Imprint