Abstract machine
Exact page not found, but we found similar results:
Abstract machine
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...
BEAM (Erlang virtual machine)
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...
MIX (abstract machine)
combining the model numbers and names of several contemporaneous, commercial machines deemed significant by the author. Also, "MIX" read as a Roman numeral is...
Finite-state machine
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...
Turing machine
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...
Categorical abstract machine
The categorical abstract machine (CAM) is a model of computation for programs that preserves the abilities of applicative, functional, or compositional...
CEK Machine
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...
Register machine
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 state machine
In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures (structure in the sense...
B-Method
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...