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 Substitutions.
(1995-03-13)

Tagged:

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.



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.