Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract)
Abstract elided by the publisher.
Related papers
- A Sparse Algorithm for Predicated Global Value Numbering PLDI 2002
- Communication-Sensitive Static Dataflow for Parallel Message Passing Applications CGO 2009
- Lifted static analysis using a binary decision diagram abstract domain GPCE 2019
- Checking race freedom via linear programming PLDI 2008
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Static Race Detection and Mutex Safety and Liveness for Go Programs ECOOP 2020
- Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes CGO 2014
- Finiteness and rational sequences, constructively JFP 2017