Escape analysis

Escape analysis is an optimization for identifying objects which do not escape the dynamic extent of a function; such objects can be stack-allocated, or 'flattened' so that usages of them are replaced with a series of local variables (the latter optimization is known as "scalar replacement").

An overview of the escape analysis algorithm used in Factor's Optimizing compiler:

• http://factor-language.blogspot.com/2008/08/algorithm-for-escape-analysis.html

External resources:

• http://en.wikipedia.org/wiki/Escape_analysis