Towards a program logic for JavaScript.

Philippa Gardner Sergio Maffeis Gareth David Smith

Published in: POPL (2012)

Keyphrases

web applications
open source
logic programming
website
declarative semantics
classical logic
proof theory
modal logic
asynchronous circuits
program execution
computer programs
recursive programs
defeasible logic
logical framework
database
web server
data sets