Compiler Analysis of the Value Ranges of Variables (1977)

by W H Harrison
Venue:IEEE Transactions on Software Engineering