The following pages link to Programming Languages and Systems (Q5316583):
Displayed 9 items.
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← 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)
- 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)
- Lifting numeric relational domains to algebraic data types (Q6164423) (← links)