Programming Languages and Systems
From MaRDI portal
Publication:5316583
DOI10.1007/b107380zbMath1108.68404OpenAlexW4232919104MaRDI QIDQ5316583
Markus Müller-Olm, Helmut Seidl
Publication date: 13 September 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107380
Related Items
A layered algorithm for quantifier elimination from linear modular constraints ⋮ Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic ⋮ Lifting numeric relational domains to algebraic data types ⋮ Inferring Congruence Equations Using SAT ⋮ Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Verification of qualitative \(\mathbb Z\) constraints ⋮ Program Analysis Using Weighted Pushdown Systems ⋮ A new abstraction framework for affine transformers
This page was built for publication: Programming Languages and Systems