Semantics-Based Transformation of Arithmetic Expressions
Abstract elided by the publisher.
Related papers
- Formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions CPP 2019
- Symbolic Transformation of Expressions in Modular Arithmetic SAS 2023
- Handling Operator Precedence in Arithmetic Expressions with Tree Transformations TOPLAS 1981
- Boosting SMT solver performance on mixed-bitwise-arithmetic expressions PLDI 2021
- On Parsing and Compiling Arithmetic Expressions on Vector Computers TOPLAS 1980
- Polyhedral AST Generation Is More Than Scanning Polyhedra TOPLAS 2015
- Implementing Bit-addressing with Specialization ICFP 1997
- Automated soundness proofs for dataflow analyses and transformations via local rules POPL 2005