Towards an Axiomatic Verification System for JavaScript

Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    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.
    Original languageEnglish
    Title of host publication2011 Fifth International Conference on Theoretical Aspects of Software Engineering
    PublisherIEEE
    ISBN (Print)978-1-4577-1487-0
    DOIs
    Publication statusPublished - 2011
    Event5th IEEE International Symposium on Theoretical Aspects of Software Engineering - Xi'an, China
    Duration: 29 Aug 201131 Aug 2011
    Conference number: 5

    Conference

    Conference5th IEEE International Symposium on Theoretical Aspects of Software Engineering
    Abbreviated titleTASE 2011
    CountryChina
    CityXi'an
    Period29/08/1131/08/11

    Fingerprint Dive into the research topics of 'Towards an Axiomatic Verification System for JavaScript'. Together they form a unique fingerprint.

  • Cite this

    Qin, S., Chawdhary, A., Xiong, W., Munro, M., Qiu, Z., & Zhu, H. (2011). Towards an Axiomatic Verification System for JavaScript. In 2011 Fifth International Conference on Theoretical Aspects of Software Engineering IEEE. https://doi.org/10.1109/TASE.2011.33