doc/guide/src/SpaceSafety.adoc

   1 SpaceSafety
   2 ===========
   3
   4 Informally, space safety is a property of a language implementation
   5 that asymptotically bounds the space used by a running program.
   6
   7 == Also see ==
   8
   9 * Chapter 12 of <!Cite(Appel92)>
  10 * <!Cite(Clinger98)>