A Type-Based Analysis for Verifying Web Application.

Woosung Jung Eunjoo Lee Kapsu Kim Chisu Wu

Published in: APWeb/WAIM (2007)

Keyphrases

web applications
web browser
database
web services
application development
databases
database systems