Static Monotonicity Analysis for lambda-definable Functions over Lattices
Abstract elided by the publisher.
Related papers
- Static Monotonicity Analysis for lambda-Definable Functions. over Lattices APLAS 2001
- Static Extensionality Checking for Lambda-Definable Functions Over Lattices APLAS 2002
- Fixpoint games on continuous lattices POPL 2019
- From Datalog to flix: a declarative language for fixed points on lattices PLDI 2016
- Incremental whole-program analysis in Datalog with lattices PLDI 2021
- How to combine widening and narrowing for non-monotonic systems of equations PLDI 2013
- Functional Meaning for Parallel Streaming PLDI 2025
- Latticed k-Induction with an Application to Probabilistic Programs CAV 2021