[hcoop/debian/mlton.git] / doc / guide / src / SpaceSafety.adoc

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 <!Cite(Appel92)>
* <!Cite(Clinger98)>
Commit	Line	Data
7f918cf1 CE	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)>