Lattice-based memory allocation.

Alain Darte, Robert Schreiber, Gilles Villard

Browse the full CASES paper archive.