Treffer: Designing JavaScript Objects by Type Extension.

Using dynamic type raises the expressiveness and flexibility of JavaScript programs. But expressiveness and flexibility comes at the price of losing control, it is very difficult to specify the intended behavior of JavaScript objects. To settle this problem, we introduce a notion named type extension, which means every object is an extension of its type, and type is the union of its objects. Type extension can help programmers to specify and design JavaScript objects more correctly. To check run-time behavior of JavaScript objects, we define behavioral contracts for JavaScript objects and types. We also propose an algorithm to check run-time behavior of JavaScript objects, and implement a monitor system. Our implementation is lightweight and selfprotection, which need any modifications of JavaScript syntax. [ABSTRACT FROM AUTHOR]

Copyright of International Review on Computers & Software is the property of Praise Worthy Prize S.r.L. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)