Kevin Redwine, Norman Ramsey
Widening Integer Arithmetic
CC, 2004.
@inproceedings{CC-2004-RedwineR, author = "Kevin Redwine and Norman Ramsey", booktitle = "{Proceedings of the 13th International Conference on Compiler Construction}", doi = "10.1007/978-3-540-24723-4_16", isbn = "3-540-21297-3", pages = "232--249", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Widening Integer Arithmetic}", volume = 2985, year = 2004, }