Informally, space safety is a property of a language implementation that asymptotically bounds the space used by a running program.

Also see