Sign in

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

Yu ZhangYongwang ZhaoDavid SanánLei QiaoJinkun Zhang
Published in: SETTA (2019)
Keyphrases
  • memory management
  • operating system
  • garbage collection
  • computer vision
  • general purpose
  • data management