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