Abstract Machine Notation


Abstract Machine Notation

(language)(AMN) A language for specifying abstract machinesin the B-Method, based on the mathematical theory ofGeneralised Substitutions.