BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
machin (4)
toler (1)
isabell (1)
ration (1)
modifi (1)

Stem secd$ (all stems)

5 papers:

SACSAC-2015-Buday #formal method
Formalising the SECD machine with nominal Isabelle (GB), pp. 1823–1824.
DATEDATE-2007-HungIGS #fault
Utilization of SECDED for soft error and variation-induced defect tolerance in caches (LDH, HI, MG, SS), pp. 1134–1139.
A Rational Deconstruction of Landin’s SECD Machine (OD), pp. 52–71.
FPCAFPCA-1985-AbramskyS85 #named #programming #virtual machine
Secd-m: a Virtual Machine for Applicative Programming (SA, RS), pp. 81–98.
STOCSTOC-1970-McGowan #correctness
The Correctness of a Modified SECD Machine (CLM), pp. 149–157.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.