The following pages link to Programming Languages and Systems (Q5316583):
Displaying 11 items.
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- Analysis of iterated modular exponentiation: The orbits of \(x^\alpha \mod N\) (Q1381616) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- A layered algorithm for quantifier elimination from linear modular constraints (Q2363817) (← links)
- Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)
- The complete system of residues theory for the remainder operator of C language (Q2823895) (← links)
- Inferring Congruence Equations Using SAT (Q3512500) (← links)
- Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ (Q3522079) (← links)
- Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic (Q5039504) (← links)
- Program Analysis Using Weighted Pushdown Systems (Q5458821) (← links)
- Solving polynomial systems over non-fields and applications to modular polynomial factoring (Q6543078) (← links)
