From 4c0971855a9ddf05c7ad484d587bfcdf298ee7d6 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Tue, 13 Jun 2017 14:55:54 +0100 Subject: [PATCH] Update 2017-05-25-ecma.md --- _posts/2017-05-25-ecma.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2017-05-25-ecma.md b/_posts/2017-05-25-ecma.md index 00f637e..458785e 100644 --- a/_posts/2017-05-25-ecma.md +++ b/_posts/2017-05-25-ecma.md @@ -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. 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. \ No newline at end of file -- GitLab