A Trusted Mechanised Specification of JavaScript: One Year On.

Philippa Gardner Gareth Smith Conrad Watt Thomas Wood

Published in: CAV (1) (2015)

Keyphrases

web applications
open source
neural network
high level
web browser
web server
distributed environment
formal methods
artificial intelligence
search engine
xml documents
database design
specification language
formal verification
learning php