Used together with:
program
(1)
synthesi
(1)
schema
(1)
correct
(1)
guid
(1)
Stem
steadfast$ (
all stems
)
1 papers:
ASE-1997-FlenerLO
#source code
#synthesis
Correct-Schema-Guided Synthesis of Steadfast Programs (
PF
,
KKL
,
MO
), p. 153–?.
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
.