SECD machine


Also found in: Wikipedia.
References in periodicals archive ?
This compilation choice is taken by the SECD machine [Lundin 1964] and the Tabac compiler [Fradet and Le Metayer 1991].
The SECD machine [Landin 1964] saves environments a bit later than in our scheme.