Collaborated with:
J.F.Santos P.Maksimovic P.Gardner
Talks about:
javascript (1) composit (1) symbol (1) execut (1) ver (1)
Person: Gabriela Sampaio
DBLP: Sampaio:Gabriela
Contributed to:
Wrote 1 papers:
- POPL-2019-SantosMSG #composition #execution #javascript #symbolic computation
- JaVerT 2.0: compositional symbolic execution for JavaScript (JFS, PM, GS, PG), p. 31.