Robert B. K. Dewar: The compiler as a static analysis tool. SIGAda 2007: 83-88