Fast Strictness Analysis Via Symbolic Fixpoint Iteration
Abstract elided by the publisher.
Related papers
- A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains JFP 1997
- An Improved Differential Fixpoint Iteration Method for Program Analysis APLAS 2002
- Finding Fixpoints in Finite Function Spaces Using Neddedness Analysis and Chaotic Iteration SAS 1994
- Fast Numerical Program Analysis with Reinforcement Learning CAV 2018
- Iterative Fixed Point Computation for Type-Based Strictness Analysis SAS 1994
- Fast Strictness Analysis Based on Demand Propagation TOPLAS 1995
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011
- Prioritizing constraint evaluation for efficient points-to analysis CGO 2011