MLton 20100608
SpaceSafety
Home
Index
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
Last edited on 2007-07-14 14:05:22 by
VesaKarvonen
.