Live briefing
Everything about SECD machine
Abstract machine used as a target for compilers
The SECD machine is an influential virtual machine and abstract machine intended as a target for compilers of functional programming languages. The letters stand for stack, environment, control, dump, respectively, which are the internal registers of the machine. The registers stack, control, and dump point to stacks, and environment points to an associative array. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: SECD machineA 5-minute orientation
- Read the landmark paper: Overproduction, purification and characterization of SecD and SecF, integral membrane components of the protein translocation machinery of Escherichia coliCited 67 times
- Go sideways: Closure (computer programming)A closely related topic
- Go sideways: Lispkit LispA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Overproduction, purification and characterization of SecD and SecF, integral membrane components of the protein translocation machinery of Escherichia coli
SecF stabilizes SecD and SecY, components of the protein translocation machinery of the Escherichia coli cytoplasmic membrane
Adapting combinator and SECD machines to display snapshots of functional computations
A Rational Deconstruction of Landin's SECD Machine
A Rational Deconstruction of Landin's SECD Machine with the J Operator
Lambda and pi calculi, CAM and SECD machines
The Tail-Recursive SECD Machine
A Lambda-Revelation of the SECD Machine
📚 Books worth reading
Open Library didn't respond; try again in a moment.
🔗 Related topics
- Closure (computer programming) In programming languages, a closure, also lexical closure or function closure, is a technique for implementing lexically scoped name binding in a language…
- Lispkit Lisp Lispkit Lisp is a lexically scoped, purely functional subset of Lisp (Pure Lisp) developed as a testbed for functional programming concepts. It was first…
- CEK Machine A CEK Machine is an abstract machine invented by Matthias Felleisen and Daniel P. Friedman that implements left-to-right call by value. It is generally…
- Stack (abstract data type) In computer science, a stack is an abstract data type that serves as a collection of elements with two main operations: Push, which adds an element to…
- Call stack In computer science, a call stack is a stack data structure that stores information about the active subroutines and inline blocks of a computer program…
- X86 calling conventions This article describes the calling conventions used when programming x86 architecture microprocessors. Calling conventions describe the interface of called…
- Stack machine In computer science, computer engineering and programming language implementations, a stack machine is a computer processor or a process virtual machine…
- CAR and CDR In computer programming, CAR (car) /kɑːr/ and CDR (cdr) (/ˈkʌdər/ or /ˈkʊdər/) are primitive operations on cons cells (or "non-atomic S-expressions") introduced…