Memory Usage Improvement Using Runtime Alias Detection

Tofte and Talpin proposed a novel method for memory management called region inference in typed, higher-order languages[7]. In their method, memory is composed of blocks called regions, and when to allocate and deallocate regions are determined automatically by the compiler using a type system, and ... View More