There is a linguistic term for this, which I cannot recall.

I think it's called "shortening."