Used together with:
analyz
(1)
cost
(1)
termin
(1)
Stem
costab$ (
all stems
)
1 papers:
PEPM-2012-AlbertAGGP
#named
#termination
COSTABS: a cost and termination analyzer for ABS (
EA
,
PA
,
SG
,
MGZ
,
GP
), pp. 151–154.
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
.