Bounded Fixed Point Iteration.

Hanne Riis Nielson, Flemming Nielson

Browse the full POPL paper archive.