Weakest Precondition Synthesis for Compiler Optimizations
No abstract available.
Related papers
- Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM PLDI 2017
- Maximal Quantified Precondition Synthesis for Linear Array Loops ESOP 2024
- Snugglebug: a powerful approach to weakest preconditions PLDI 2009
- Weakest Precondition Inference for Non-Deterministic Linear Array Programs TACAS 2024
- Weighted programming: a programming paradigm for specifying mathematical models OOPSLA 2022
- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs ESOP 2016
- Floyd-hoare logic for quantum programs TOPLAS 2011
- Bounded expectations: resource analysis for probabilistic programs PLDI 2018