Exploring a separation logic for heap space under garbage collection
Alejandro Gómez-Londoño
27th April 2023