BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
P.Gardner P.Maksimovic D.Naudziuniene Gabriela Sampaio Thomas Wood 0001 Théotime Grohens J.Dolby
Talks about:
javascript (4) symbol (2) execut (2) verif (2) ver (2) toolchain (1) composit (1) program (1) toward (1) logic (1)

Person: José Fragoso Santos

DBLP DBLP: Santos:Jos=eacute=_Fragoso

Contributed to:

CADE 20172017
POPL 20182018
PPDP 20182018
POPL 20192019

Wrote 4 papers:

CADE-2017-SantosGMN #javascript #source code #towards #verification
Towards Logic-Based Verification of JavaScript Programs (JFS, PG, PM, DN), pp. 8–25.
POPL-2018-SantosMNWG #javascript #named #verification
JaVerT: JavaScript verification toolchain (JFS, PM, DN, TW0, PG), p. 33.
PPDP-2018-SantosMGDG #execution #javascript #symbolic computation
Symbolic Execution for JavaScript (JFS, PM, TG, JD, PG), p. 14.
POPL-2019-SantosMSG #composition #execution #javascript #symbolic computation
JaVerT 2.0: compositional symbolic execution for JavaScript (JFS, PM, GS, PG), p. 31.

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.