This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2011 Fifth International Conference on Theoretical Aspects of Software Engineering
Towards an Axiomatic Verification System for JavaScript
Xi'an, Shaanxi China
August 29-August 31
ISBN: 978-0-7695-4506-6
ASCII Text
x 
 
Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu, "Towards an Axiomatic Verification System for JavaScript," 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, pp. 133-141, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering, 2011.
 
 
BibTex
x
 
@article{ 10.1109/TASE.2011.33,
author = {Shengchao Qin and Aziem Chawdhary and Wei Xiong and Malcolm Munro and Zongyan Qiu and Huibiao Zhu},
title = {Towards an Axiomatic Verification System for JavaScript},
journal ={2012 Sixth International Symposium on Theoretical Aspects of Software Engineering},
volume = {0},
year = {2011},
isbn = {978-0-7695-4506-6},
pages = {133-141},
doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2011.33},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering
TI - Towards an Axiomatic Verification System for JavaScript
SN - 978-0-7695-4506-6
SP133
EP141
A1 - Shengchao Qin,
A1 - Aziem Chawdhary,
A1 - Wei Xiong,
A1 - Malcolm Munro,
A1 - Zongyan Qiu,
A1 - Huibiao Zhu,
PY - 2011
VL - 0
JA - 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering
ER -
 
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.
Citation:
Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu, "Towards an Axiomatic Verification System for JavaScript," tase, pp.133-141, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering, 2011
Usage of this product signifies your acceptance of the Terms of Use.