The Undefined Domain: Precise Relational Information for Entities That Do Not Exist
Abstract elided by the publisher.
Related papers
- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces ESOP 2023
- A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference OOPSLA 2025
- Static analysis with demand-driven value refinement OOPSLA 2019
- Precise Set Sharing Analysis for Java-Style Programs VMCAI 2008
- Language Support for Changeable Large Real Time Systems OOPSLA 1986
- Precise and scalable static analysis of jQuery using a regular expression domain DLS 2016
- Mode Modules as Representations of Domains POPL 1973
- Dependency-Aware Code Naturalness OOPSLA 2024