Abstract Error Projection
No abstract available.
Related papers
- Qudit Quantum Programming with Projective Cliffords POPL 2026
- Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics APLAS 2015
- Generating precise error specifications for C: a zero shot learning approach OOPSLA 2019
- Language-specific make technology for the Java programming language OOPSLA 2002
- FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes TACAS 2015
- Compiler-assisted detection of transient memory errors PLDI 2014
- The SLAM project: debugging system software via static analysis POPL 2002
- Scalable, Validated Code Translation of Entire Projects using Large Language Models PLDI 2025