Towards revealing JavaScript program intents using abstract interpretation.

Gregory Blanc Youki Kadobayashi

Published in: AINTEC (2010)

Keyphrases

abstract interpretation
static analysis
termination analysis
dynamic analysis
open source
database
web applications
model checking
source code
active rules