Implementation of an array bound checker (1977)

by N Suzuki, K Ishihata
Venue:In Symposium Principles of Programming Languages