Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen
Non-monotone Fixpoint Iterations to Resolve Second Order Effects
CC, 1996.
@inproceedings{CC-1996-GeserKLRS, author = "Alfons Geser and Jens Knoop and Gerald Lüttgen and Oliver Rüthing and Bernhard Steffen", booktitle = "{Proceedings of the Sixth International Conference on Compiler Construction}", doi = "10.1007/3-540-61053-7_56", isbn = "3-540-61053-7", pages = "106--120", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Non-monotone Fixpoint Iterations to Resolve Second Order Effects}", volume = 1060, year = 1996, }