Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen. Non-monotone Fixpoint Iterations to Resolve Second Order Effects. In Tibor Gyimóthy, editor, Compiler Construction, 6th International Conference, CC 96, Linköping, Sweden, April 24-26, 1996, Proceedings. Volume 1060 of Lecture Notes in Computer Science, pages 106-120, Springer, 1996.
Abstract is missing.