Academic
Publications
Towards an Axiomatic Verification System for JavaScript

Towards an Axiomatic Verification System for JavaScript,10.1109/TASE.2011.33,Shengchao Qin,Aziem Chawdhary,Wei Xiong,Malcolm Munro,Zongyan Qiu,Huibiao

Towards an Axiomatic Verification System for JavaScript  
BibTex | RIS | RefWorks Download
JavaScript as a Web scripting language has been widely used following the fast growth of Internet. Due to the flexible and dynamic features offered by the JavaScript language, it has become a challenging problem to statically reason about code written in JavaScript. As a first step towards building a mechanised verification system for JavaScript, we present, in this paper, an axiomatic verification system for a core subset of JavaScript based on a variant of separation logic. We have also defined a big-step operational semantics with respect to which we have demonstrated the soundness of our verification system.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.