Efficiently intertwining widening and narrowing

Gianluca Amato, Francesca Scozzari, Helmut Seidl +2

Non-trivial analysis problems require posets with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equati…