Hans-Dieter Hiep Promotors: prof.dr. F.S. de Boer (UL) Co-promotors: dr. C.P.T. de Gouw (OU), dr. A.W. Laarman (UL) Leiden University Date: 23 May 2024 Thesis: PDF Summary This thesis presents new foundations for separation logic, an important field within the formal sciences such as theoretical computer science. Around the turn …