24 citations · 39 across the 15 of their papers we have counts for
1 paper · 2 filters
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
We prove that all valid Herbrand equalities can be inter-procedurally inferred for programs where all assignments whose right-hand sides depend on at most one variable are taken in…