Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,252,480 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
Abstract machine
Addressing mode
Apply
Categorical abstract machine
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2009
Review
2009
Social-Emotional and Character Development and Academics as a Dual Focus of Educational Policy
M. Elias
2009
Corpus ID: 143448858
There is a missing piece to America’s education agenda, and children will continue to be left behind until that piece is…
Expand
2008
2008
The weak lambda calculus as a reasonable machine
Ugo Dal Lago
,
S. Martini
Theoretical Computer Science
2008
Corpus ID: 2545215
2004
2004
Microstructure and properties of single crystal BaTiO3 thin films synthesized by ion implantation-induced layer transfer
Young-Bae Park
,
J. Ruglovsky
,
H. Atwater
2004
Corpus ID: 119873484
Single crystal BaTiO3 thin films have been transferred onto Pt-coated and Si3N4-coated substrates by the ion implantation-induced…
Expand
Highly Cited
2003
Highly Cited
2003
A Rational Deconstruction of Landin's SECD Machine
O. Danvy
International Symposium on Implementation and…
2003
Corpus ID: 7926360
Landin's SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a…
Expand
Highly Cited
2003
Highly Cited
2003
From Interpreter to Compiler and Virtual Machine: A Functional Derivation
M. Ager
,
Dariusz Biernacki
,
O. Danvy
,
Jan Midtgaard
2003
Corpus ID: 11467651
We show how to derive a compiler and a virtual machine from a compositional interpreter. We first illustrate the derivation with…
Expand
2002
2002
A Lambda-Revelation of the SECD Machine
O. Danvy
2002
Corpus ID: 119868187
We present a simple inter-derivation between lambda-interpreters, i.e., evaluation functions for lambda-terms, and abstract…
Expand
1999
1999
The Tail-Recursive SECD Machine
John D. Ramsdell
Journal of automated reasoning
1999
Corpus ID: 2657244
One method for producing verified implementations of programming languages is to formally derive them from abstract machines…
Expand
1992
1992
The Secd Microprocessor: A Verification Case Study
B. Graham
1992
Corpus ID: 54102133
Foreword. Preface. 1. Formal Methods and Verification. 2. LispKit and the SECD Architecture. 3. SECD Architecture: Silicon…
Expand
1991
1991
Globalization and live variables
C. K. Gomard
,
P. Sestoft
ACM SIGPLAN Workshop on Partial Evaluation and…
1991
Corpus ID: 14245224
We develop a method to detect when stack or heap aUocation of function parameters can be replaced by global static allocation…
Expand
1984
1984
Transformations and reduction strategies for typed lambda expressions
M. Georgeff
ACM Transactions on Programming Languages and…
1984
Corpus ID: 10696940
Description d'un schema permettant aux langages de supporter des fonctions d'ordre superieure pour etre efficacement mis en œuvre…
Expand
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)
ACCEPT & CONTINUE