Used together with:
nest
(1)
banana
(1)
tool
(1)
boundari
(1)
ambient
(1)
Stem
alysi$ (
all stems
)
1 papers:
TACAS-2003-BraghinCFFLP
#analysis
#bound
#named
BANANA — A Tool for Boundary Ambients Nesting ANAlysis (
CB
,
AC
,
SF
,
RF
,
FLL
,
CP
), pp. 437–441.
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
.