Heap Memory Requirements Analysis via Separation Logic.

Guanhua He, Chenguang Luo

Browse the full TASE paper archive.