Towards an axiomatic verification system for JavaScript

Hdl Handle:
http://hdl.handle.net/10149/141514
Title:
Towards an axiomatic verification system for JavaScript
Authors:
Qin, S. (Shengchao); Chawdhary, A. (Aziem); Xiong, W. (Wei); Munro, M. (Malcolm); Qiu, Z. (Zongyan); Zhu, H. (Huibiao)
Citation:
Qin, S. et. al. (2011) 'Towards an axiomatic verification system for JavaScript', Proceedings - 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE '11), Xi'an, China, August 29-31, 2011, pp.133-141.
Conference:
5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE '11), Xi'an, China, August 29-31, 2011
Issue Date:
2011
URI:
http://hdl.handle.net/10149/141514
Additional Links:
http://ictt.xidian.edu.cn/TASE2011/ap.htm
Type:
Meetings and Proceedings
Language:
en
Keywords:
axiomatic verification system; JavaScript
Citation Count:
0 [Web of Science and Scopus, 01/09/2011]

Full metadata record

DC FieldValue Language
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorChawdhary, A. (Aziem)en
dc.contributor.authorXiong, W. (Wei)en
dc.contributor.authorMunro, M. (Malcolm)en
dc.contributor.authorQiu, Z. (Zongyan)en
dc.contributor.authorZhu, H. (Huibiao)en
dc.date.accessioned2011-09-01T12:59:16Z-
dc.date.available2011-09-01T12:59:16Z-
dc.date.issued2011-
dc.identifier.urihttp://hdl.handle.net/10149/141514-
dc.language.isoenen
dc.relation.urlhttp://ictt.xidian.edu.cn/TASE2011/ap.htmen
dc.subjectaxiomatic verification systemen
dc.subjectJavaScripten
dc.titleTowards an axiomatic verification system for JavaScripten
dc.typeMeetings and Proceedingsen
dc.identifier.conference5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE '11), Xi'an, China, August 29-31, 2011en
ref.citationcount0 [Web of Science and Scopus, 01/09/2011]en
or.citation.harvardQin, S. et. al. (2011) 'Towards an axiomatic verification system for JavaScript', Proceedings - 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE '11), Xi'an, China, August 29-31, 2011, pp.133-141.en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.