A High-Level Separation Logic for Heap Space under Garbage Collection.

Alexandre Moine Arthur Charguéraud François Pottier

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

Keyphrases

garbage collection
high level
low level
data structure
image processing
space efficient
flash memory
method invocation
data analysis
high dimensional
open source
conceptual model