Linear Functional Fixed-points
Abstract elided by the publisher.
Related papers
- Bounded Fixed Point Iteration POPL 1992
- Modular verification of linearizability with non-fixed linearization points PLDI 2013
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs ESOP 2015
- Lattice-theoretic progress measures and coalgebraic model checking POPL 2016
- An Equational and Graphical Fixed-Point Calculus (Functional Pearl) ICFP 2026
- A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains JFP 1997
- Fixed Points and Frontiers: A New Perspective JFP 1991
- Model Checking Linear Dynamical Systems under Floating-point Rounding TACAS 2023