A system for specification and verification of interactive, data-driven web applications.

Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou

Browse the full SIGMOD paper archive.