Skip to search formSkip to main contentSkip to account menu

SECD machine

Known as: SECD, SECD abstract machine, Stack Environment Control Dump machine 
The SECD machine is a highly influential virtual machine and abstract machine intended as a target for functional programming language compilers. The… 
Wikipedia (opens in a new tab)

Related topics

Related topics

23 relations
Abstract machineAddressing modeApplyCategorical abstract machine

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Profit Related Loans for Economically Disadvantaged Regions
There is an increasing recognition that economically disadvantaged areas do not have an inherent capacity to regenerate economic… 
2004
2004
Lambda and pi calculi, CAM and SECD machines
We analyse machines that implement the call-by-value reduction strategy of the λ-calculus: two environment machines – CAM and… 
2002
2002
A Lambda-Revelation of the SECD Machine
We present a simple inter-derivation between lambda-interpreters, i.e., evaluation functions for lambda-terms, and abstract… 
1999
1999
The Tail-Recursive SECD Machine
One method for producing verified implementations of programming languages is to formally derive them from abstract machines… 
1999
1999
A Reversible SE(M)CD Machine
The paper describes the basic concept of a reversible functional computing machine which can reduce a program term to its (weak… 
1991
1991
VERIFYING SECD IN HOL
1989
1989
SECD CONTROLLER BOARD IMPLEMENTATION
1989
1989
Formalising the Design of an SECD chip
We describe work completed on a custom SECD chip which is powerful enough to run a LispKit compiler. The 20,000 transistor design… 
1985
1985
Secd-m: a Virtual Machine for Applicative Programming
We present a virtual machine to support applicative multiprogramming — in description of concurrent, asynchronous systems such as… 
1984
1984
Transformations and reduction strategies for typed lambda expressions
Description d'un schema permettant aux langages de supporter des fonctions d'ordre superieure pour etre efficacement mis en œuvre… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)