Separation logic for a higher-order typed language (2006)

by N Krishnaswami
Venue:In Workshop on Semantics, Program Analysis and Computing Environments for Memory Management, SPACE’06