conf.researchr.org / Jean-Marie Madiot
Registered user since Tue 12 Jan 2016
Name:Jean-Marie Madiot
Contributions
| POPL 2022 | Author of A Separation Logic for Heap Space under Garbage Collection within the POPL-track |
Registered user since Tue 12 Jan 2016
Contributions
| POPL 2022 | Author of A Separation Logic for Heap Space under Garbage Collection within the POPL-track |