The Risks column in the current Communications of the ACM is titled "On
Sapphire and Type-Safe Languges". It talks about buffer overrun as an
abstraction failure and says "Some modern languages (for example, Ada, C#,
Common Lisp, Eiffel, Java, Modula 3, Scheme, and Standard ML) prevent this
failure of abstraction."