Upper Adjoints for Fast Inter-procedural Variable Equalities
No abstract available.
Related papers
- Inter-procedural Two-Variable Herbrand Equalities ESOP 2015
- Fast interprocedural linear two-variable equalities TOPLAS 2011
- MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang OOPSLA 2024
- Pinpoint: fast and precise sparse value flow analysis for million lines of code PLDI 2018
- Fast Termination and Workflow Nets CAV 2023
- HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance CC 2026
- A decision procedure for subset constraints over regular languages PLDI 2009
- Constraint-Based Inter-Procedural Analysis of Parallel Programs ESOP 2000