Combining Form and Function: Static Types for JQuery Programs
No abstract available.
Related papers
- Determinacy in static analysis for jQuery OOPSLA 2014
- Precise and scalable static analysis of jQuery using a regular expression domain DLS 2016
- Dynamic optimization for functional reactive programming using generalized algebraic data types ICFP 2005
- Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper) GPCE 2024
- Overcoming restraint: composing verification of foreign functions with cogent CPP 2022
- Local Type Inference POPL 1998
- API-Driven Program Synthesis for Testing Static Typing Implementations POPL 2024
- String Analysis for Dynamic Field Access CC 2014