Java Reference
In-Depth Information
precisely. Therefore, languages like C typically do not admit e
ective region
inference algorithms, but support for regions is included in some real-time Java
systems, many ML compilers, and in the Cyclone language, which is a C-like
language that includes many interesting features from ML-family languages.
Improving the precision of region inference analyses is an active and fruitful
field of research. Tofte and Talpin [TT97] present an early overview of region-
based memory management; Henglein, Makholm, and Niss [HMN05] present
a contemporary and comprehensive summary of the field.
ff
