Used together with:
represent
(1)
structur
(1)
data
(1)
tool
(1)
invari
(1)
Stem
deryaft$ (
all stems
)
1 papers:
ICSE-2008-MalikPUK
#generative
#invariant
#named
#representation
Deryaft: a tool for generating representation invariants of structurally complex data (
MZM
,
AP
,
EU
,
SK
), pp. 859–862.
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
.