Symbolic Transformation of Expressions in Modular Arithmetic
Abstract elided by the publisher.
Related papers
- Handling Operator Precedence in Arithmetic Expressions with Tree Transformations TOPLAS 1981
- Formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions CPP 2019
- Implementing Bit-addressing with Specialization ICFP 1997
- Semantics-Based Transformation of Arithmetic Expressions SAS 2007
- Symbolic conditioning of arrays in probabilistic programs ICFP 2017
- Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU CGO 2025
- SPPL: probabilistic programming with fast exact symbolic inference PLDI 2021
- On Parsing and Compiling Arithmetic Expressions on Vector Computers TOPLAS 1980