Reasoning about B+ Trees with Operational Semantics and Separation Logic

Alan Sexton, Hayo Thielecke

Research output: Contribution to conference (unpublished)Paper

9 Citations (Scopus)
Original languageEnglish
Pages355-369
Number of pages15
DOIs
Publication statusPublished - 22 Oct 2008
Event24th Conference on the Mathematical Foundations of Programming Semantics (MFPSXXIV) - , United Kingdom
Duration: 22 Oct 2008 → …

Conference

Conference24th Conference on the Mathematical Foundations of Programming Semantics (MFPSXXIV)
Country/TerritoryUnited Kingdom
Period22/10/08 → …

Cite this