A Progress Bar for Static Analyzers
No abstract available.
Related papers
- On Bar Recursion and Choice in a Classical Setting APLAS 2013
- A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction APLAS 2011
- Bar Inductive Predicates for Constructive Algebra in Rocq CPP 2026
- The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies POPL 2013
- Composable data visualizations JFP 2021
- Sound Static Data Race Verification for C: Is the Race Lost? TOPLAS 2025
- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios CAV 2021
- Higher order functions and Brouwer's thesis JFP 2021