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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) S. 647 - 658
Hauptverfasser:	Park, Jihyeok, Park, Jihee, An, Seungmin, Ryu, Sukyoung
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.09.2020
Schlagworte:	Feature extraction JavaScript mechanized formal semantics program synthesis Proposals Semantics Syntactics Task analysis Testing
ISSN:	2643-1572
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!