Niels Jørgensen
Chaotic Fixpoint Iteration Guided by Dynamic Dependency
SAS, 1993.
@inproceedings{WSA-1993-Jorgensen, author = "Niels Jørgensen", booktitle = "{Proceedings of the Third International Workshop on Static Analysis}", doi = "10.1007/3-540-57264-3_27", isbn = "3-540-57264-3", pages = "27--44", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Chaotic Fixpoint Iteration Guided by Dynamic Dependency}", volume = 724, year = 1993, }