Used together with:
definit
(1)
program
(1)
this
(1)
unnecessari
(1)
fold
(1)
Stem
avaoid$ (
all stems
)
1 papers:
PLILP-1991-ProiettiP
#logic programming
#named
#order
#source code
Unfolding — Definition — Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs (
MP
,
AP
), pp. 347–358.
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
.