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)
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 […]