Concrete Memory Models for Shape Analysis

Pascal Sotin, Bertrand Jeannet, Xavier Rival. Concrete Memory Models for Shape Analysis. Electronic Notes in Theoretical Computer Science, 267(1):139-150, 2010. [doi]

Abstract

Abstract is missing.