Used together with:
formal
(1)
complet
(1)
semant
(1)
javascript
(1)
Stem
kjs$ (
all stems
)
1 papers:
PLDI-2015-ParkSR
#javascript
#named
#semantics
KJS: a complete formal semantics of JavaScript (
DP
,
AS
,
GR
), pp. 346–356.
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
.