Flemming Nielson
Semantics-Directed Program Analysis: A Tool-Maker’s Perspective
SAS, 1996.
@inproceedings{SAS-1996-Nielson, author = "Flemming Nielson", booktitle = "{Proceedings of the Third International Static Analysis Symposium}", doi = "10.1007/3-540-61739-6_30", isbn = "3-540-61739-6", pages = "2--21", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Semantics-Directed Program Analysis: A Tool-Maker’s Perspective}", volume = 1145, year = 1996, }