abstract machine


Also found in: Wikipedia.

abstract machine

(language)
A processor design which is not intended to be implemented as hardware, but which is the notional executor of a particular intermediate language (abstract machine language) used in a compiler or interpreter. An abstract machine has an instruction set, a register set and a model of memory. It may provide instructions which are closer to the language being compiled than any physical computer or it may be used to make the language implementation easier to port to other platforms.

A virtual machine is an abstract machine for which an interpreter exists.

Examples: ABC, Abstract Machine Notation, ALF, CAML, F-code, FP/M, Hermes, LOWL, Christmas, SDL, S-K reduction machine, SECD, Tbl, Tcode, TL0, WAM.

abstract machine

(theory)
A procedure for executing a set of instructions in some formal language, possibly also taking in input data and producing output. Such abstract machines are not intended to be constructed as hardware but are used in thought experiments about computability.

Examples: Finite State Machine, Turing Machine.
References in periodicals archive ?
The state led project of "development", Gidwani argues is an abstract machine that brings into relation previously separate human and non-human elements, and through this bringing into relation constitutes new and often unforeseen possibilities, both for enrolled elements and for the trajectory of the machine itself.
The abstract machine presupposes the fundamental stability and instability of order and chaos.
The learner can enter a specification of an abstract machine as instance of a given machine model.
finite automata or abstract machines (see [24]) are considered which can be integrated in ES for compiler construction.
Visualizing Principles of Abstract Machines by Generating Interactive Animations.
An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel.
During the last 20 years, the Warren's Abstract Machine (WAM) [36, 14] has become a de facto standard for implementing logic programming.
In order to develop an efficient implementation of DLP [5], an abstract machine called Justification Abstract Machine (WAM) has been designed as an extension of the wAM [36, 14].
Warren's abstract machine, a tutorial reconstruction.
Inside were dancers working together like abstract machines.
Whatever its satiric undertow, Ye Olde Ruin, 2003-2004, one of two immense Paul Noble drawings included in "Ecstasy," offers an unabashedly fantastic otherworld of abstract machines, hermetic eggs, and Boschean play.