Kevin Tucker Debugging Highly-Optimized Ada with Code Motion (DHACM). 197-203 1997 TRI-Ada http://doi.acm.org/10.1145/269629.269650 db/conf/sigada/triada97.html#Tucker97