- Applied mathematics
- >
- Mathematical modeling
- >
- Models of computation
- >
- Abstract machines

- Applied mathematics
- >
- Theoretical computer science
- >
- Rewriting systems
- >
- Abstract machines

- Formal methods
- >
- Logical calculi
- >
- Lambda calculus
- >
- Abstract machines

- Formal methods
- >
- Models of computation
- >
- Lambda calculus
- >
- Abstract machines

- Formal systems
- >
- Logical calculi
- >
- Lambda calculus
- >
- Abstract machines

- Logic in computer science
- >
- Logical calculi
- >
- Lambda calculus
- >
- Abstract machines

- Logic in computer science
- >
- Programming language semantics
- >
- Operational semantics
- >
- Abstract machines

- Mathematical logic
- >
- Computability theory
- >
- Lambda calculus
- >
- Abstract machines

- Mathematical logic
- >
- Logical calculi
- >
- Lambda calculus
- >
- Abstract machines

- Mathematical modeling
- >
- Models of computation
- >
- Lambda calculus
- >
- Abstract machines

- Mathematics of computing
- >
- Formal methods
- >
- Models of computation
- >
- Abstract machines

- Theoretical computer science
- >
- Formal methods
- >
- Models of computation
- >
- Abstract machines

- Theoretical computer science
- >
- Theory of computation
- >
- Models of computation
- >
- Abstract machines

- Theory of computation
- >
- Computability theory
- >
- Lambda calculus
- >
- Abstract machines

- Theory of computation
- >
- Models of computation
- >
- Lambda calculus
- >
- Abstract machines

SECD machine

The SECD machine is a highly influential (see: ) virtual machine and abstract machine intended as a target for functional programming language compilers. The letters stand for Stack, Environment, Cont

Abstract machine

An abstract machine is a computer science theoretical model that allows for a detailed and precise analysis of how a computer system functions. It is analogous to a mathematical function in that it re

Warren Abstract Machine

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 became known as the Warren Abstract Machine

Architecture Neutral Distribution Format

The Architecture Neutral Distribution Format (ANDF) in computing is a technology allowing common "shrink wrapped" binary application programs to be distributed for use on conformant Unix systems, tran

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 of rules. Despite the model's simplicity, it is

Krivine machine

In theoretical computer science, the Krivine machine is an abstract machine (sometimes called virtual machine). As an abstract machine, it shares features with Turing machines and the SECD machine. Th

CEK Machine

A CEK Machine is an abstract machine invented by Matthias Felleisen and Daniel P. Friedman. It is generally implemented as an interpreter for functional programming languages, but can also be used to

© 2023 Useful Links.