Memory-Safe Languages