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.
Review
2009
Review
2009
Bytecode Generation for XQuery Compiler
This paper represents a compiler for XQuery that obtains a more efficient performance by translating its programs to Java… 
2008
2008
LISPkit LISPin ja SECD-koneen kehitys HutLISP-ohjelmointijärjestelmäksi
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… 
2000
2000
Scanning eddy current dynamometer with 100 μm resolution
We report on a new contactless scanning probe technique to probe thin metallic films. The scanning eddy current dynamometer (SECD… 
1999
1999
The Tail-Recursive SECD Machine
One method for producing verified implementations of programming languages is to formally derive them from abstract machines… 
1991
1991
VERIFYING SECD IN HOL
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)