Towards an Axiomatic Verification System for JavaScript.

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

Browse the full TASE paper archive.