JSCert Project at POPL14

Imperial College London presented their paper “A Trusted Mechanised JavaSript Specification” [1] on the JSCert project at the 41st Principles of Programming Languages Conference in San Diego.

The full version of the paper and the source code of the project are available from the JSCert website. A video of the talk given at the conference will be available shortly.


[1] Martin Bodin, Arthur Chargueraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith, A Trusted Mechanised JavaSript Specification, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.87–100, 2014