24 citations · 39 across the 15 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 1 cited
Inter-procedural Two-Variable Herbrand Equalities
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…
cs.PL2014★ 5 cited
Parametric Strategy Iteration
Thomas M. Gawlitza, Martin D. Schwarz, Helmut Seidl
Program behavior may depend on parameters, which are either configured before compilation time, or provided at run-time, e.g., by sensors or other input devices. Parametric program…