Travelled to:
1 × USA
Collaborated with:
A.Stefanescu G.Rosu
Talks about:
javascript (1) complet (1) semant (1) formal (1) kjs (1)
Person: Daejun Park
DBLP: Park:Daejun
Contributed to:
Wrote 1 papers:
- PLDI-2015-ParkSR #javascript #named #semantics
- KJS: a complete formal semantics of JavaScript (DP, AS, GR), pp. 346–356.