Stem secd$ (all stems)

5 papers:

SAC-2015-Buday #formal method

Formalising the SECD machine with nominal Isabelle (GB), pp. 1823–1824.

DATE-2007-HungIGS #fault

Utilization of SECDED for soft error and variation-induced defect tolerance in caches (LDH, HI, MG, SS), pp. 1134–1139.

IFL-2004-Danvy

A Rational Deconstruction of Landin’s SECD Machine (OD), pp. 52–71.

FPCA-1985-AbramskyS85 #named #programming #virtual machine

Secd-m: a Virtual Machine for Applicative Programming (SA, RS), pp. 81–98.

STOC-1970-McGowan #correctness

The Correctness of a Modified SECD Machine (CLM), pp. 149–157.