Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
871 commits behind the upstream repository.
2017-05-18-ecma.md 695 B 
title: Philippa Gardner, Ecma TC39 meeting, Google, NY

Philippa Gardner will attend the next meeting of the TC39 – ECMAScript Task group meeting at Google, NY at the end of the month.

Philippa will give her talk: "Towards Trustworthy Verification of JavaScript" as part of the Visions for the future of ECMAScript / Emerging technologies agenda. TC39-Royalty Free Task Group scope is the standardization of the general purpose, cross platform, vendor-neutral programming language ECMAScript (JavaScript). This includes the language syntax, semantics, and libraries and complementary technologies that support the language.