Abstract machine notation
abstract machine notation
language
(amn) a language for specifying abstract machines in the b-method, based on the mathematical theory of generalised subst-tutions.
(1995-03-13)
Read Also:
- Abstract number
a number that does not designate the quant-ty of any particular kind of thing. historical examples and t must be, not a sum of concrete goods, but a sum of abstract numbers, and so itself an abstract number. the value of money benjamin m. anderson, jr.
- Abstract of title
an outline history of the t-tle to a parcel of real estate, showing the original grant, subsequent conveyances, mortgages, etc. noun (property law) a summary of the ownership of land, showing the original grant, conveyances, and any inc-mbrances
- Abstract space
a sp-ce whose elements are not geometric points, especially a function sp-ce.
- Abstract syntax
abstract syntax language, data a form of representation of data that is independent of machine-oriented structures and encodings and also of the physical representation of the data. abstract syntax is used to give a high-level description of programs being compiled or messages p-ssing over a communications link. a compiler’s internal representation of a program will […]
- Abstract syntax notation 1
abstract syntax notation 1 language, standard, protocol (asn.1, x.208, x.680) an iso/itu-t standard for transmitting structured data on networks, originally defined in 1984 as part of ccitt x.409 ’84. asn.1 moved to its own standard, x.208, in 1988 due to wide applicability. the substantially revised 1995 version is covered by the x.680 series. asn.1 defines […]