Heterogeneous Fixed Points with Application to Points-To Analysis
Abstract elided by the publisher.
Related papers
- Coco: Corecursion with Compositional Heterogeneous Productivity POPL 2026
- Iterative Fixed Point Computation for Type-Based Strictness Analysis SAS 1994
- A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs CAV 2005
- Analyzing recursive programs using a fixed-point calculus PLDI 2009
- Iterative-free program analysis ICFP 2003
- Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis SLE 2024
- A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains JFP 1997
- Bounded Fixed Point Iteration POPL 1992