Used together with:
rewrit
(1)
theori
(1)
trace
(1)
condit
(1)
slicer
(1)
Stem
julienn$ (
all stems
)
1 papers:
FM-2012-AlpuenteBFR
#named
#slicing
Julienne: A Trace Slicer for Conditional Rewrite Theories (
MA
,
DB
,
FF
,
DR
), pp. 28–32.
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
.