From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification.

Published in: POPL (2015)

Keyphrases

web applications
application development
application developers
web services
web browser
web application development
mashup
end users
model view controller
content delivery networks
peer to peer
web development
user friendly
network structure
object oriented
user interface
case study