ABSTRACT MACHINE NOTATION

Domain	Definition
Computing	Abstract Machine Notation (AMN) A language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions. (1995-03-13). Source: The Free On-line Dictionary of Computing.
Source: compiled by the editor from various references; see credits.

Specialty Definition: Abstract Machine Notation

Abstract Machine Notation (AMN) is a computer programming language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.

This article is based on material from FOLDOC, used with permission. Update as needed.

Crosswords: ABSTRACT MACHINE NOTATION

Specialty definitions using "ABSTRACT MACHINE NOTATION": abstract machine ♦ B-Method. (references)

Source: compiled by the editor from various references; see credits.

Commercial Usage: ABSTRACT MACHINE NOTATION

Domain	Title
Books	An Introduction to the B Abstract Machine Notation (The McGraw-Hill International Series in Software Engineering) (reference) (more book examples)
Source: compiled by the editor from various references; see credits.

Alternative Orthography: ABSTRACT MACHINE NOTATION

Hexadecimal (or equivalents, 770AD-1900s) (references)

41 42 53 54 52 41 43 54 4D 41 43 48 49 4E 45 4E 4F 54 41 54 49 4F 4E

Leonardo da Vinci (1452-1519; backwards) (references)

Binary Code (1918-1938, probably earlier) (references)

01000001 01000010 01010011 01010100 01010010 01000001 01000011 01010100 00100000 01001101 01000001 01000011 01001000 01001001 01001110 01000101 00100000 01001110 01001111 01010100 01000001 01010100 01001001 01001111 01001110

HTML Code (1990) (references)

&#65 &#66 &#83 &#84 &#82 &#65 &#67 &#84 &#32 &#77 &#65 &#67 &#72 &#73 &#78 &#69 &#32 &#78 &#79 &#84 &#65 &#84 &#73 &#79 &#78

ISO 10646 (1991-1993) (references)

0041 0042 0053 0054 0052 0041 0043 0054 004D 0041 0043 0048 0049 004E 0045 004E 004F 0054 0041 0054 0049 004F 004E

Encryption (beginner's substitution cypher): (references)

ABSTRACT MACHINE NOTATION

Specialty Definition: ABSTRACT MACHINE NOTATION

Computing