Speaker Gareth Smith
Host Matthew Parkinson
Affiliation Imperial College London
Date recorded 27 February 2013
In the JSCert project (http://jscert.org) we have been working to provide a trusted semantics and program logic for client side web programming. Our goal is to make it possible to produce truly high confidence client-side web programs. This talk will present a program logic, based on separation logic, for client side web programming.
©2013 Microsoft Corporation. All rights reserved.