Used together with:
bdds
(1)
low
(1)
instruct
(1)
valid
(1)
level
(1)
Stem
fixnum$ (
all stems
)
1 papers:
ILC-2010-YuasaY
#low level
#using
#validation
Validating low-level instructions for fixnums using BDDs (
SY
,
MY
), pp. 11–20.
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
.
ILC-2010-YuasaY #low level #using #validation
ILC-2010-YuasaY #low level #using #validation