@@ -5,5 +5,5 @@ Philippa Gardner was invited to give a talk about JavaScript Verification at the
...
@@ -5,5 +5,5 @@ Philippa Gardner was invited to give a talk about JavaScript Verification at the
[TC39 – ECMAScript Task group standards committee meeting](http://www.ecma-international.org/memento/TC39-RF-TG.htm) held at Google, New York, this May.
[TC39 – ECMAScript Task group standards committee meeting](http://www.ecma-international.org/memento/TC39-RF-TG.htm) held at Google, New York, this May.
Philippa gave a talk entitled: "Towards Trustworthy Verification of JavaScript" at the Visions for the future of ECMAScript / Emerging technologies session of the meeting.
Philippa gave a talk entitled: "Towards Trustworthy Verification of JavaScript" at the Visions for the future of ECMAScript / Emerging technologies session of the meeting.
The TC39 Task Group scope is the standardization of the general purpose, cross platform, vendor-neutral programming language ECMAScript (JavaScript).
The TC39 Task Group oversees the standardization of the general purpose, cross platform, vendor-neutral ECMAScript (JavaScript) programming language.
This includes the language syntax, semantics, and libraries and complementary technologies that support the language.
This includes the language syntax, semantics, and libraries and complementary technologies that support the language.
