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

References

• Chapter 12 of Appel92

• Clinger98