Towards Type Inference for JavaScript

No abstract is available for this paper.

• Publication year

  2005

• Venue

  European Conference on Object-Oriented Programming

• Publication date

  2005-07-25

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/11531142_19
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Towards a Type System for Analyzing JavaScript Programs

  2005cited by this paper
• Type Checking for JavaScript

  2005influential reference
• Doc-ument object model (DOM) level 3 core specification

  2004cited by this paper
• Type inference for record concatenation and subtyping

  2004cited by this paper
• Alias types for "environment-aware" computations

  2003cited by this paper
• Can addresses be types? (A case study: objects with delegation)

  2003cited by this paper
• Precise Constraint-Based Type Inference for Java

  2001cited by this paper
• JavaScript: The definitive guide

  1999cited by this paper
• From system F to typed assembly language

  1999cited by this paper
• An Imperative, First-Order Calculus with Object Extension

  1998cited by this paper
• Type systems for object-oriented programming languages

  1996cited by this paper
• A Theory of Objects

  1996cited by this paper
• Sound polymorphic type inference for objects

  1995cited by this paper
• The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism

  1995cited by this paper
• PolyTOIL: A type-safe polymorphic object-oriented language

  1995cited by this paper
• Efficient inference of object types

  1994cited by this paper
• A lambda calculus of objects and method specialization

  1993cited by this paper
• Type inference of SELF: Analysis of objects with dynamic and multiple inheritance

  1993cited by this paper
• Making Type Inference Practical

  1992cited by this paper
• Subtyping recursive types

  1991cited by this paper
• Object-oriented type inference

  1991cited by this paper
• F-bounded polymorphism for object-oriented programming

  1989cited by this paper

• Fast Constraint Synthesis for C++ Function Templates

  2025cites this paper
• Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code

  2025cites this paper
• RunTyper: Enhancing Deep Type Inference Using Dynamic Analysis for Python

  2025cites this paper
• QuAC: Quick Attribute-Centric Type Inference for Python

  2024cites this paper
• Generating Python Type Annotations from Type Inference: How Far Are We?

  2024cites this paper
• TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference

  2024cites this paper
• Towards Effective Static Type-Error Detection for Python

  2024cites this paper
• Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries

  2024cites this paper
• Do Machine Learning Models Produce TypeScript Types that Type Check?

  2023cites this paper
• Type Prediction With Program Decomposition and Fill-in-the-Type Training

  2023cites this paper
• Generative Type Inference for Python

  2023cites this paper
• Design and Build Online Store Website bicycle store KawanKita

  2023cites this paper
• The evolution of type annotations in python: an empirical study

  2022cites this paper
• PyTER: effective program repair for Python type errors

  2022cites this paper
• Guess What: Test Case Generation for Javascript with Unsupervised Probabilistic Type Inference

  2022cites this paper
• Static Inference Meets Deep learning: A Hybrid Type Inference Approach for Python

  2021influential citation
• SimTyper: sound type inference for Ruby using type equality prediction

  2021influential citation
• StateFormer: fine-grained type recovery from binaries using generative state modeling

  2021cites this paper
• A Reference Implementation of ECMAScript Built-in Objects

  2021cites this paper
• Of JavaScript AOT compilation performance

  2021cites this paper
• A protoype-based approach to object evolution

  2021cites this paper
• Solver-based gradual type migration

  2021cites this paper
• HiTyper: A Hybrid Static Type Inference Framework with Neural Prediction

  2021cites this paper
• Statically Checking REST API Consumers

  2020cites this paper
• Learning APIs through Mining Code Snippet Examples

  2020cites this paper
• Understanding Lua's Garbage Collection - Towards a Formalized Static Analyzer

  2020influential citation
• SafeRESTScript: Statically Checking REST API Consumers

  2020cites this paper
• Sound, heuristic type annotation inference for Ruby

  2020cites this paper
• Test-case-based Code Navigation in Dynamically Typed Programming Languages

  2020cites this paper
• BUGSJS: a benchmark and taxonomy of JavaScript bugs

  2020cites this paper
• Towards a more perfect union type

  2020cites this paper
• POSH: A Data-Aware Shell

  2020cites this paper
• Offload Annotations: Bringing Heterogeneous Computing to Existing Libraries and Workloads

  2020influential citation
• Exploring Type Inference Techniques of Dynamically Typed Languages

  2020cites this paper
• Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

  2020cites this paper
• Curious properties of latency distributions

  2020cites this paper
• TypeWriter: neural type prediction with search-based validation

  2019cites this paper
• Types to the rescue: verification of REST APIs Consumer Code

  2019cites this paper
• ChaffyScript: Vulnerability-Agnostic Defense of JavaScript Exploits via Memory Perturbation

  2019cites this paper
• Security and Privacy in Communication Networks: 15th EAI International Conference, SecureComm 2019, Orlando, FL, USA, October 23-25, 2019, Proceedings, Part I

  2019influential citation
• Type-level computations for Ruby libraries

  2019cites this paper
• CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines

  2019cites this paper
• How to evaluate the performance of gradual type systems

  2019cites this paper
• A study of build inflation in 30 million CPAN builds on 13 Perl versions and 10 operating systems

  2019cites this paper
• Dynamic Analysis for JavaScript Code

  2018cites this paper
• Symbolic Execution for JavaScript

  2018cites this paper
• JavaScript AOT compilation

  2018cites this paper
• Challenges on applying genetic improvement in JavaScript using a high-performance computer

  2018cites this paper
• Parametric Denotational Semantics for Extensible Language Definition and Program Analysis

  2018cites this paper
• MaxSMT-Based Type Inference for Python 3

  2018cites this paper
• An Empirical Study of Dynamic Types for Python Projects

  2018cites this paper
• Static Typing of Complex Presence Constraints in Interfaces

  2018cites this paper
• Typing JavaScript through Symbolic Execution

  2018cites this paper
• A spectrum of type soundness and performance

  2018cites this paper
• JaVerT: JavaScript verification toolchain

  2017cites this paper
• Static Checking of Range Assertions in JavaScript Programs

  2017cites this paper
• Augmenting Type Inference with Lightweight Heuristics

  2017cites this paper
• Refinement Types for Ruby

  2017cites this paper
• Identifying Classes in Legacy JavaScript Code

  2017cites this paper
• Analysis of JavaScript Programs

  2017influential citation
• Statically Checking Conventionality of Array Objects in JavaScript

  2017cites this paper
• Statically identifying class dependencies in legacy JavaScript systems: First results

  2017cites this paper
• An infrastructure for tractable verification of JavaScript programs

  2017cites this paper
• DETECTION, DIAGNOSIS AND MITIGATION OF MALICIOUS JAVASCRIPT WITH ENRICHED JAVASCRIPT EXECUTIONS

  2017cites this paper
• A Brief Survey of Related Work

  2017cites this paper
• JSFox: Integrating Static and Dynamic Type Analysis of JavaScript Programs

  2017cites this paper
• Fission: Secure Dynamic Code-Splitting for JavaScript

  2017cites this paper
• Fast and precise type checking for JavaScript

  2017cites this paper
• Type-Aware Concolic Testing of JavaScript Programs

  2016cites this paper
• Co-designed solutions for overhead removal in dynamically typed languages

  2016cites this paper
• Verification of Communication in Web Applications

  2016cites this paper
• Just-in-time static type checking for dynamic languages

  2016cites this paper
• Semantic subtyping for imperative object-oriented languages

  2016cites this paper
• Design and implementation of an efficient hybrid dynamic and static typing language

  2016cites this paper
• Refinement types for TypeScript

  2016cites this paper
• Certified semantics and analysis of JavaScript

  2016cites this paper
• Quantitative bounds on the security-critical resource consumption of JavaScript apps

  2016influential citation
• Dynamic Flow Analysis for JavaScript

  2016cites this paper
• Type inference for static compilation of JavaScript

  2016cites this paper
• How should static analysis tools explain anomalies to developers?

  2016cites this paper
• Python probabilistic type inference with natural language support

  2016cites this paper
• Safe & Efficient Gradual Typing for TypeScript

  2015influential citation
• Does JavaScript software embrace classes?

  2015cites this paper
• Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals

  2015cites this paper
• Dynamic type inference for JavaScript

  2015cites this paper
• An empirical investigation of the effects of type systems and code completion on API usability using TypeScript and JavaScript in MS visual studio

  2015cites this paper
• Test-case-based call graph construction in dynamically typed programming languages

  2015cites this paper
• Trust, but Verify: Two-Phase Typing for Dynamic Languages

  2015cites this paper
• SJS: a Typed Subset of JavaScript with Fixed Object Layout

  2015cites this paper
• SJS: A Type System for JavaScript with Fixed Object Layout

  2015cites this paper
• Interprocedural Type Specialization of JavaScript Programs Without Type Analysis

  2015cites this paper
• Contracts for domain-specific languages in Ruby

  2014cites this paper
• Removing Dynamic Type Tests with Context-Driven Basic Block Versioning

  2014influential citation
• Configurable and Sound Static Analysis of JavaScript: Techniques and Applications

  2014cites this paper
• ATTACKS AND COUNTERMEASURES FOR WEBVIEW ON MOBILE SYSTEMS

  2014cites this paper
• Automatic Detection and Repair of Input Validation and Sanitization Bugs

  2014influential citation
• Understanding TypeScript

  2014influential citation
• A trusted mechanised JavaScript specification

  2014cites this paper
• JSAI: a static analysis platform for JavaScript

  2014cites this paper
• Static Type Analysis for Python

  2014cites this paper