All You Need Is Compassion
No abstract available.
Related papers
- Linear Regions Are All You Need ESOP 2006
- Cheap CTL Compassion in NuSMV VMCAI 2020
- All you need is superword-level parallelism: systematic control-flow vectorization with SLP PLDI 2022
- COMPASS 3.0 TACAS 2019
- Compass: strong and compositional library specifications in relaxed memory separation logic PLDI 2022
- Coq's vibrant ecosystem for verification engineering (invited talk) CPP 2022
- Freer Arrows and Why You Need Them in Haskell Haskell 2025
- Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language Onward! 2014