A Trusted Mechanised Specification of JavaScript: One Year On
No abstract available.
Related papers
- A trusted mechanised JavaScript specification POPL 2014
- Repairing and mechanising the JavaScript relaxed memory model PLDI 2020
- Reasoning about External Calls OOPSLA 2025
- A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications ECOOP 2020
- JavaScript: the first 20 years HOPL 2020
- JavaScript at ten years ICFP 2005
- Mechanising and verifying the WebAssembly specification CPP 2018
- Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes PLDI 2021