Skip to main content

PhD thesis

PhD thesis

PhD thesis (as sent to the reading committee)
PhD-thesis-reading-committee.pdf
1 MB
download-circle

Coq formalization:

Quick reference:

  • Dynamic Separation Logic, Frank de Boer, Hans-Dieter Hiep, Stijn de Gouw (preprint)
  • The Logic of Separation Logic: Models and Proofs, Frank de Boer, Hans-Dieter Hiep, Stijn de Gouw (gold open access)
  • Footprint Logic for Object-Oriented Components, Frank de Boer, Stijn de Gouw, Hans-Dieter Hiep, Jinting Bian (conference: FACS2022) (green open access)
  • Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic, Frank de Boer, Hans-Dieter Hiep (journal: TOPLAS) (gold open access)