The ComFoRT Reasoning Framework
No abstract available.
Related papers
- Automated conformance testing for JavaScript engines via deep compiler fuzzing PLDI 2021
- Living in the comfort zone OOPSLA 2007
- Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization POPL 2019
- Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series JFP 2012
- A Family of Sims with Diverging Interests POPL 2026
- Software language engineers' worst nightmare SLE 2020
- Meta-programming for cross-domain tensor optimizations GPCE 2018
- Formal Framework for Reasoning About the Precision of Dynamic Analysis SAS 2020