Used together with:
compon
(1)
semant
(1)
base
(1)
fun
(1)
Stem
kon$ (
all stems
)
1 papers:
WRLA-2014-MossesV
#component
#named
#semantics
FunKons: Component-Based Semantics in K (
PDM
,
FV
), pp. 213–229.
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
.