Login / Signup
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic.
Qiyuan Zhao
George Pîrlea
Zhendong Ang
Umang Mathur
Ilya Sergey
Published in:
CPP (2024)
Keyphrases
</>
image enhancement
formal theory
decision trees
image processing
computational efficiency
spatial reasoning
tree structures
real time
tree structure
multi valued
knowledge representation
automated reasoning
digital circuits