Robert van Engelen Efficient Symbolic Analysis for Optimizing Compilers. 118-132 2001 conf/cc/2001 CC http://link.springer.de/link/service/series/0558/bibs/2027/20270118.htm db/conf/cc/cc2001.html#Engelen01