Arnaud Venet
Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs
SAS, 1996.
@inproceedings{SAS-1996-Venet, author = "Arnaud Venet", booktitle = "{Proceedings of the Third International Static Analysis Symposium}", doi = "10.1007/3-540-61739-6_53", isbn = "3-540-61739-6", pages = "366--382", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs}", volume = 1145, year = 1996, }