@techreport{moine:hal-03823056, TITLE = {{A High-Level Separation Logic for Heap Space under Garbage Collection (Extended Version)}}, AUTHOR = {Moine, Alexandre and Chargu{\'e}raud, Arthur and Pottier, Fran{\c c}ois}, URL = {https://inria.hal.science/hal-03823056}, INSTITUTION = {{Inria}}, YEAR = {2022}, KEYWORDS = {Tracing garbage collection ; Live data ; Program verification ; Separation Logic}, PDF = {https://inria.hal.science/hal-03823056v2/file/spacelambda-extended.pdf}, HAL_ID = {hal-03823056}, HAL_VERSION = {v2}, }