In computer science, an abstract machine is a theoretical model that allows for a detailed and precise analysis of how a computer system functions. It...

The categorical abstract machine (CAM) is a model of computation for programs that preserves the abilities of applicative, functional, or compositional...

combining the model numbers and names of several contemporaneous, commercial machines deemed significant by the author. Also, "MIX" read as a Roman numeral is...

In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set. This design...

a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number of states at any given...

Ericsson. The predecessor of the BEAM was JAM (Joe's Abstract Machine), which was the first virtual machine for the Erlang language and was written by Joe Armstrong...

In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems. It can be visualized as a black...

In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures (structure in the sense...

A Turing machine is a mathematical model of computation describing an abstract machine that manipulates symbols on a strip of tape according to a table...

The SECD machine is a highly influential (see: Landin's contribution) virtual machine and abstract machine intended as a target for compilers of functional...

the Wayback Machine Wang, Jing; Conder, Julie A.; Blitzer, David N.; Shinkareva, Svetlana V. (2010). "Neural Representation of Abstract and Concrete...

Caml (originally an acronym for Categorical Abstract Machine Language) is a multi-paradigm, general-purpose, high-level, functional programming language...

A quantum Turing machine (QTM) or universal quantum computer is an abstract machine used to model the effects of a quantum computer. It provides a simple...

random-access machine (RAM or RA-machine) is a model of computation that describes an abstract machine in the general class of register machines. The RA-machine is...

development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software. B was originally...

Krivine machine is an abstract machine. As an abstract machine, it shares features with Turing machines and the SECD machine. The Krivine machine explains...

Krivine machine. The SECD machine and many other abstract machines can be inter-derived this way. It is remarkable that the three most famous abstract machines...

A CEK Machine is an abstract machine invented by Matthias Felleisen and Daniel P. Friedman that implements left-to-right call by value. It is generally...

instruction set computer (URISC), is an abstract machine that uses only one instruction – obviating the need for a machine language opcode. With a judicious...

computer science, a parallel random-access machine (parallel RAM or PRAM) is a shared-memory abstract machine. As its name indicates, the PRAM is intended...

define an abstract machine (such as the SECD machine), and give meaning to phrases by describing the transitions they induce on states of the machine. Alternatively...

Abstract State Machine Language (AsmL) is a programming language based on abstract state machines developed by Microsoft. AsmL is a functional language...

A counter machine or counter automaton is an abstract machine used in a formal logic and theoretical computer science to model computation. It is the...

a register machine is a generic class of abstract machines, analogous to a Turing machine and thus Turing complete. Unlike a Turing machine that uses a...

Abstract expressionism in the United States emerged as a distinct art movement in the aftermath of World War II and gained mainstream acceptance in the...

In theoretical computer science, a pointer machine is an atomistic abstract computational machine whose storage structure is a graph. A pointer algorithm...

Boolos-Burgess-Jeffrey (2002) p. 60-61 provide definitions of the μ-operator as an abstract machine; see footnote Alternative definitions of μ. The following demonstration...

acronym CAML originally stood for Categorical Abstract Machine Language, but OCaml omits this abstract machine. OCaml is a free and open-source software project...

computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties:...

Quil specifies the instruction set for a Quantum Abstract Machine (QAM,) akin to a Turing machine, yet more practical for accomplishing "real-world"...