JavaScript Papers

1.0.0

Symbolic Execution
Abstract Interpretation
Verification
Security
Testing
Taint Analysis
Pointer Analysis
Asynchronous JavaScript Analysis
Call Graph
Semantics
Type System
- Towards a type system for analyzing JavaScript programs (ESOP 2005)
Miscellaneous

JavaScript Papers

Type System
View page source

Type System

Towards a type system for analyzing JavaScript programs (ESOP 2005)

Paper title: Towards a type system for analyzing JavaScript programs

Authors: Peter Thiemann

Previous Next

© Copyright 2025, Dezhen Kong.

Built with Sphinx using a theme provided by Read the Docs.