JISET: JavaScript IR-based Semantics Extraction Toolchain

JavaScript was initially designed for client-side programming in web browsers, but its engine is now embedded in various kinds of host software. Despite the popularity, since the JavaScript semantics is complex especially due to its dynamic nature, understanding and reasoning about JavaScript progra...

Full description

Bibliographic Details

Published in:	2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 647 - 658
Main Authors:	Park, Jihyeok, Park, Jihee, An, Seungmin, Ryu, Sukyoung
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.09.2020
Subjects:	Feature extraction JavaScript mechanized formal semantics program synthesis Proposals Semantics Syntactics Task analysis Testing
ISSN:	2643-1572
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!