Flexible policy-directed code safety (1999)

by D Evans, A Twyman
Venue:In IEEE S&P