Abstract machine notation

abstract machine notation
(AMN) A language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.

Read Also:

  • Abstract noun

    a noun denoting something immaterial and abstract, as rest, dread, or transportation. a noun formed with a suffix that imparts such a meaning, as kindness. Contemporary Examples Glenn Beck did it before, although the abstract noun he chose to foist on the nation was “honor.” Sanity Is Overrated Tunku Varadarajan October 28, 2010 Historical Examples […]

  • Abstract number

    a number that does not designate the quantity 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 title 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 incumbrances

  • Abstract space

    a space whose elements are not geometric points, especially a function space.

  • 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 passing over a communications link. A compiler’s internal representation of a program will […]

Disclaimer: Abstract machine notation definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.