Merkliste 
 1 Ergebnisse 
 
1

The compiler as a static analysis tool:

Dewar, Robert B. K.
ACM SIGAda Ada Letters.  XXVII (2007)  3 - p. 83-88 , 2007