Variance analyses from invariance analyses
No abstract available.
Related papers
- Bias-variance tradeoffs in program analysis POPL 2014
- Convergence and scalarization for data-parallel architectures CGO 2013
- Taming the wildcards: combining definition- and use-site variance PLDI 2011
- Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution) TACAS 2023
- Simple relational correctness proofs for static analyses and program transformations POPL 2004
- Improving Thread-Modular Abstract Interpretation SAS 2021
- On Satisfiability of Nominal Subtyping with Variance ECOOP 2019
- Mora - Automatic Generation of Moment-Based Invariants TACAS 2020