javascript 2019

JavaScript, often abbreviated as JS, is a high-level, interpreted programming language that conforms to the ECMAScript specification. JavaScript has curly-bracket syntax, dynamic typing, prototype-based object-orientation, and first-class functions

IDVE: an Integrated Development and Verification Environment for JavaScript
free download

Program verifiers statically check programs based on source code annotations such as invariants, pre-and postconditions. These annotations can be more precise than simple types. For example, a sorting routine might be annotated with a postcondition stating that its

JavaScript Template Attacks: Automatically Inferring Host Information for Targeted Exploits
free download

Today, more and more web browsers and extensions provide anonymity features to hide user details. Primarily used to evade tracking by websites and advertisements, these features are also used by criminals to prevent identification. Thus, not only tracking

JaVerT 2.0: Compositional Symbolic Execution for JavaScript
free download

The motivation for writing this book was the lack of resources available about data structures and algorithms written in JavaScript . This was strange to me because today many of the job opportunities for software development require knowledge of JavaScript ; it is the only

BUGSJS: A Benchmark of JavaScript Bugs
free download

JavaScript is a popular programming language that is also error-prone due to its asynchronous, dynamic, and loosely-typed nature. In recent years, numerous techniques have been proposed for analyzing and testing JavaScript applications. However, our survey

JS-son-A Minimal JavaScript BDI Agent Library
free download

There is a multitude of agent-oriented software engineering frameworks available, most of them produced by the academic multi-agent systems community. However, these frameworks often impose programming paradigms on their users that are hard to learn for

NL2Type: Inferring JavaScript Function Types from Natural Language Information
free download

JavaScript is dynamically typed and hence lacks the type safety of statically typed languages, leading to suboptimal IDE support, difficult to understand APIs, and unexpected runtime behavior. Several gradual type systems have been proposed, eg, Flow and

IN31B-30: NCO-JSON: A Flexible, Complete JavaScript Object Notation for netCDF
free download

JavaScript Object Notation (JSON) is a widely used text format for data exchange. Previous netCDFtoJSON translators were incomplete or overly complex. Here we describe NCOJSON, a flexible JSON format that describes any classic or extended format netCDF

A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs
free download

We propose Escapin, a JavaScript transpiler for developing application programs that consume APIs and are deployed on cloud services in order to obtain new business concepts by trial-and-error iterations. Escapin tackles two difficulties in consuming API and using

Tool Choice Matters: JavaScript Quality Assurance Tools and Usage Outcomes in GitHub Projects
free download

Quality assurance automation is essential in modern software development. In practice, this automation is supported by a multitude of tools that fit different needs and require developers to make decisions about which tool to choose in a given context. Data and

Time Present and Time Past: Analyzing the Evolution of JavaScript Code in the Wild
free download

JavaScript is one of the webs key building blocks. It is used by the majority of web sites and it is supported by all modern browsers. We present the first large-scale study of client-side JavaScript code over time. Specifically, we have collected and analyzed a dataset