A trusted mechanised JavaScript specification

Martin Bodin, Arthur Chargueraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL '14
San Diego, California, USA
ACM
New York, NY, USA
Pages 87-100
2014
Note(s): JavaScript, formal specification

JavaScript programming language