Flow-insensitive type qualifiers. (2006)

by J S Foster, R Johnson, J Kodumal, A Aiken
Venue:ACM Trans. Prog. Lang. Syst.,