A method for memory management in execution of a program by a computer
having a memory includes identifying in the program an array of array
elements. At a given point in the program, a range of the elements is
determined within the array such that none of the elements in the array
outside the range is alive at the point. Information regarding the
determined range is passed to a memory management function, so that memory
locations are associated with the array elements, responsive to the
determined range.