MLton 20070826 SpaceSafety
Home  Index  
Informally, space safety is a property of a language implementation that asymptotically bounds the space used by a running program.

References


Last edited on 2007-07-14 14:05:22 by VesaKarvonen.