Local Type Reconstruction by Means of Symbolic Fixed Point Iteration
Abstract elided by the publisher.
Related papers
- Iterative Fixed Point Computation for Type-Based Strictness Analysis SAS 1994
- Symbolic Localization Reduction with Reconstruction Layering and Backtracking CAV 2002
- A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains JFP 1997
- Model-based Iterative CT Image Reconstruction on GPUs PPoPP 2017
- A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs CAV 2005
- QRANE: lifting QASM programs to an affine IR CC 2022
- Bounded Fixed Point Iteration POPL 1992
- An Efficient Hybrid Algorithm for Incremental Data Flow Analysis POPL 1990