The following pages link to Static Analysis (Q5466562):
Displaying 8 items.
- A polynomial-time algorithm for global value numbering (Q859961) (← links)
- Context unification with one context variable (Q1041589) (← links)
- Detection of redundant expressions: a precise, efficient, and pragmatic algorithm in SSA (Q1749150) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Inter-procedural Two-Variable Herbrand Equalities (Q2802449) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- Invariant Checking for Programs with Procedure Calls (Q3392933) (← links)
- Upper Adjoints for Fast Inter-procedural Variable Equalities (Q5458395) (← links)