= SpaceSafety

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

== Also see

* Chapter 12 of <<References#Appel92,Appel92>>
* <<References#Clinger98,Clinger98>>
