A trusted mechanised JavaScript specification

DOI10.1145/2535838.2535876zbMath1284.68381OpenAlexW3010249406MaRDI QIDQ5408408

Sergio Maffeis, Philippa Gardner, Alan Schmitt, Daiva Naudziuniene, Arthur Charguéraud, Martin Bodin, Gareth Smith, Daniele Filaretti

Publication date: 10 April 2014

Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2535838.2535876

zbMATH Keywords

CoqJavaScriptmechanised semantics

Mathematics Subject Classification ID

Related Items (3)

DOM: Specification and Client Reasoning ⋮ Formal methods for web security ⋮ From specification to testing: semantics engineering for Lua 5.2

Uses Software

• Coq
• Ott
• Isabelle/HOL
• JavaFAN
• OCaml
• JavaScript
• CompCert
• ADSafe

This page was built for publication: A trusted mechanised JavaScript specification