Sign in
A trusted mechanised JavaScript specification.
Martin Bodin
Arthur Charguéraud
Daniele Filaretti
Philippa Gardner
Sergio Maffeis
Daiva Naudziuniene
Alan Schmitt
Gareth Smith
Published in:
POPL (2014)
Keyphrases
</>
web applications
website
open source
web server
distributed environment
high level
network connection
databases
artificial intelligence
neural network
database systems
web browser
application development
formal specification
specification language
web development
reactive systems
provably correct
hands on guide