The standard semantics of separation logic is restricted to finite heaps. This restriction
already gives rise to a logic which does not satisfy compactness, hence it does not allow for …

This thesis presents new foundations for separation logic, an important field within the formal
sciences such as theoretical computer science. Around the turn of the millennium …