Optimal Abstraction on Real-Valued Programs
No abstract available.
Related papers
- The Continuous Tensor Abstraction: Where Indices Are Real OOPSLA 2025
- Formal Verification of a C Value Analysis Based on Abstract Interpretation SAS 2013
- Bridging boolean and quantitative synthesis using smoothed proof search POPL 2014
- Synthesizing Trajectory Queries from Examples CAV 2023
- pyATF: Constraint-Based Auto-Tuning in Python CC 2025
- SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories PLDI 2024
- RIFS: Run-Time Invariant Function Specialization CC 2026
- The hiphop virtual machine OOPSLA 2014