Non-monotone Fixpoint Iterations to Resolve Second Order Effects.

Alfons Geser, Jens Knoop, Gerald Lttgen, Oliver Rthing, Bernhard Steffen

Browse the full CC paper archive.