20 Oct
2016
20 Oct
'16
10 p.m.
On 20/10/16 7:49 PM, Simon Thompson wrote:
Hi Richard - are you aware of the work of Philippa Gardner and her colleagues on formalising ECMAScript?
http://psvg.doc.ic.ac.uk/research/javascript.html
Exciting stuff! They’ve certainly had their work published.
Oddly enough, I am currently studying the ECMAScript Internationalization API Specification (ECMA-402), and had been thinking (a) what kind of prehistoric weed are these people smoking? (b) I wonder if I could talk a student into trying to extract something machine-checkable from this? So I am very pleased to have that link. Thank you. (Again by coincidence, I am currently trying to learn Coq.)