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

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