A Verified Specification of TLSF Memory Management Allocator Using State Monads.

Yu Zhang Yongwang Zhao David Sanán Lei Qiao Jinkun Zhang

Published in: SETTA (2019)

Keyphrases

memory management
operating system
garbage collection
computer vision
general purpose
data management