Reasoning about B+ Trees with Operational Semantics and Separation Logic

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Pages355-369
Number of pages15
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)
CountryUnited Kingdom
Period22/10/08 → …