K.: Implementation of an array bound checker (1977)

by N Suzuki, Ishihata
Venue:In: POPL ’77, ACM Press