Javanni: A Verifier for JavaScript

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-37057-1_17
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

JavaScript

Journal of Information Processing and Management
2001English

Symbolic Execution for JavaScript

2018English

Automated Object Persistence for JavaScript

2010English

A Tested Semantics for Getters, Setters, and Eval in JavaScript

2012English

BugsJS: A Benchmark of JavaScript Bugs

2019English

Practical Initialization Race Detection for JavaScript Web Applications

Proceedings of the ACM on Programming Languages
2017English

SJS: A Type System for JavaScript With Fixed Object Layout

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

JSOPT: A Framework for Optimization of JavaScript on Web Browsers

Mehran University Research Journal of Engineering and Technology
2018English

Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs

Software - Practice and Experience
Software
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy