A separation logic for heap space under garbage collection.

Jean-Marie Madiot François Pottier

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

garbage collection
data structure
flash memory
memory management
real time
data sets
pattern recognition