Global Information Lookup Global Information

SECD machine information


The SECD machine is a highly influential (see: § Landin's contribution) virtual machine and abstract machine intended as a target for functional programming language compilers. The letters stand for Stack, Environment, Control, Dump—the internal registers of the machine. The registers Stack, Control, and Dump point to (some realizations of) stacks, and Environment points to (some realization of) an associative array.

The machine was the first to be specifically designed to evaluate lambda calculus expressions. It was originally described by Peter J. Landin in "The Mechanical Evaluation of Expressions"[1] in 1964. The description published by Landin was fairly abstract, and left many implementation choices open (like an operational semantics).

Lispkit Lisp was an influential compiler based on the SECD machine,[2] and the SECD machine has been used as the target for other systems such as Lisp/370.[3] In 1989 researchers at the University of Calgary worked on a hardware implementation of the machine.[4]

  1. ^ Landin, P. J. (January 1964). "The Mechanical Evaluation of Expressions". Comput. J. 6 (4): 308–320. doi:10.1093/comjnl/6.4.308.
  2. ^ Henderson, Peter (1980). Functional programming: application and implementation. Englewood Cliffs, N.J.: Prentice-Hall International. ISBN 0-13-331579-7.
  3. ^ Padget, Julian. "Three uncommon Lisps". CiteSeerX 10.1.1.99.1028. {{cite journal}}: Cite journal requires |journal= (help)
  4. ^ A paper on the design, SECD: DESIGN ISSUES is available.

and 24 Related for: SECD machine information

Request time (Page generated in 0.8091 seconds.)

SECD machine

Last Update:

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

Word Count : 1793

CEK Machine

Last Update:

simplified form of another abstract machine called the SECD machine. The CEK machine builds on the SECD machine by replacing the dump (call stack) with...

Word Count : 1846

Stack machine

Last Update:

language Comparison of application virtual machines SECD machine Accumulator machine Belt machine Random-access machine Beard, Bob (Autumn 1997). "The KDF9 Computer...

Word Count : 5809

Abstract machine

Last Update:

use an abstract machine to gain machine independence. The early abstract machines for functional languages, including the SECD machine (1964) and Cardelli's...

Word Count : 2711

Graph reduction machine

Last Update:

Haskell. SECD machine Clarke, T. J.W.; Gladstone, P. J.S.; MacLean, C. D.; Norman, A. C. (25 August 1980). "SKIM - the S, K, I reduction machine". Proceedings...

Word Count : 326

Krivine machine

Last Update:

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

Word Count : 1901

Operational semantics

Last Update:

calculus to define the semantics of Lisp. Abstract machines in the tradition of the SECD machine are also closely related. The concept of operational...

Word Count : 2561

Lispkit Lisp

Last Update:

It was first used for early experimentation with lazy evaluation. An SECD machine-based implementation written in an ALGOL variant was published by the...

Word Count : 467

Graph reduction

Last Update:

programming language first developed by Turner in 1972. Graph reduction machine SECD machine Hudak, Paul (September 1989). "Conception, evolution, and application...

Word Count : 552

ISWIM

Last Update:

variables. The operational semantics of ISWIM are defined using Landin's SECD machine and use call-by-value, that is eager evaluation. A goal of ISWIM was...

Word Count : 604

List of programmers

Last Update:

Butler Lampson – QED original co-author Peter Landin – ISWIM, J operator, SECD machine, off-side rule, syntactic sugar, ALGOL, IFIP WG 2.1 member Tom Lane –...

Word Count : 3718

Programming language theory

Last Update:

calculus can be used to model programming languages. He introduces the SECD machine which "interprets" lambda expressions. In 1965, Landin introduces the...

Word Count : 1618

Functional programming

Last Update:

descendant Q. In the mid-1960s, Peter Landin invented SECD machine, the first abstract machine for a functional programming language, described a correspondence...

Word Count : 8548

Peter Landin

Last Update:

responsible for inventing the stack, environment, control, dump SECD machine, the first abstract machine for a functional programming language, and the ISWIM programming...

Word Count : 1456

List of functional programming topics

Last Update:

point combinator SKI combinator calculus B, C, K, W system SECD machine Graph reduction machine Sequent, sequent calculus Natural deduction Intuitionistic...

Word Count : 205

J operator

Last Update:

labels and jumps a first class value. It was designed to work with the SECD machine with the following extra transitions: The J operator originally created...

Word Count : 555

Categorical abstract machine

Last Update:

bound variables. The evaluations are similar to those of P. Landin’s SECD machine. With this coverage, CAM gives a sound ground for syntax, semantics,...

Word Count : 349

Lambda calculus

Last Update:

(computing) Rewriting – Transformation of formulæ in formal systems SECD machine – A virtual machine designed for the lambda calculus Scott–Curry theorem – A theorem...

Word Count : 11528

List of computer scientists

Last Update:

Xerox PARC, Xerox Alto, Turing Award Peter Landin – ISWIM, J operator, SECD machine, off-side rule, syntactic sugar, ALGOL, IFIP WG 2.1 member, advanced...

Word Count : 5140

ICFP Programming Contest

Last Update:

LLP Write AI programs for a pacman like game, in SECD machine instruction for pacman and 8-bit machine assembly instructions for four ghosts. 2015 Galois...

Word Count : 508

Addressing mode

Last Update:

Such CPUs include some drum memory computers such as the IBM 650, the SECD machine, Librascope LGP-30, and the RTX 32P. Other computing architectures go...

Word Count : 5929

Comparison of application virtualization software

Last Update:

refers to both application virtual machines and software responsible for implementing them. Application virtual machines are typically used to allow application...

Word Count : 885

Federal Bureau of Investigation

Last Update:

Training Division (TD) Human Resources Division (HRD) Security Division (SecD) Administrative and financial management support Facilities and Logistics...

Word Count : 12535

1919 New Year Honours

Last Update:

Lieutenant Robert Lawrence Hulme, 1/2nd Battalion, London Regiment, secd. 5bth Machine Gun Corps Captain Charles Westley Hume, 19th Battalion, London Regiment...

Word Count : 36786

PDF Search Engine © AllGlobal.net