166
click to vote
ESOP
2007
Springer
16 years 27 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
105
Voted
ESOP
2007
Springer
16 years 27 days ago
2007
Springer
