Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic.

Qiyuan Zhao, George Prlea, Zhendong Ang, Umang Mathur, Ilya Sergey

Browse the full CPP paper archive.