Interprocedural and modular local heap shape analysis

Noam Rinetzky. Interprocedural and modular local heap shape analysis. PhD thesis, Tel Aviv University, Israel, 2008. [doi]

Abstract

Abstract is missing.