Compiler Analysis of the Value Ranges for Variables (1977)

by W H Harrison
Venue:IEEE Transactions on Software Engineering