VDict - Definition of Abstract Machine Notation

Computing (FOLDOC) dictionary

Abstract Machine Notation

Jump to user comments

language (AMN) A language for specifying abstract machines

in the B-Method, based on the mathematical theory of

Generalised Substitutions.

(1995-03-13)

Related search result for "Abstract Machine Notation"

Words contain "Abstract Machine Notation" in its definition in Computing (FOLDOC) dictionary:
abstract machine B-Method Abstract Machine Notation postfix notation Tcode prefix notation Stack Environment Control Dump machine FP/M Abstract Syntax Notation 1 F-code more...

Comments and discussion on the word "Abstract Machine Notation"