Used together with:
program
(1)
depend
(1)
deriv
(1)
polymorph
(1)
prop
(1)
Stem
incarn$ (
all stems
)
1 papers:
SAS-1994-CodishD
#dependence
#logic programming
#multi
#polymorphism
#source code
#using
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop (
MC
,
BD
), pp. 281–296.
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
.