Used together with:
composit
(1)
preserv
(1)
function
(1)
transform
(1)
decomposit
(1)
Stem
correst$ (
all stems
)
1 papers:
CAV-1993-BrinksmaLB
#composition
Functionality Decomposition by Compositional Correstness Preserving Transformation (
EB
,
RL
,
PB
), pp. 371–384.
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
.