The modulo interval: a simple and practical representation for program analysis | IEEE Conference Publication | IEEE Xplore