Used together with:
typest
(1)
state
(1)
learn
(1)
Stem
tzu$ (
all stems
)
1 papers:
ASE-2013-Xiao0LLS
#learning
#named
#type system
TzuYu: Learning stateful typestates (
HX
,
JS
,
YL
,
SWL
,
CS
), pp. 432–442.
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
.