Login / Signup
Reasoning about Web Applications: An Operational Semantics for HOP.
Gérard Boudol
Zhengqin Luo
Tamara Rezk
Manuel Serrano
Published in:
ACM Trans. Program. Lang. Syst. (2012)
Keyphrases
</>
web applications
operational semantics
formal semantics
application development
mental states
end users
data model
web browser
application developers
mashup
web services
web application development
artificial intelligence
web development