Shape analysis

[Google Scholar] [Wikipedia]

Notes:
Papers:

Separation logic