Une logique de séparation de haut niveau pour l'espace de tas en présence d'un glaneur de cellule
1 : Inria
Cambium
2 : Inria, Université de Strasbourg, CNRS
* : Auteur correspondant
ICube
Ce texte est un résumé de notre article "A High-Level Separation Logic for Heap Space under Garbage Collection" présenté à POPL en 2023.
| Type : | : | typdoc_34556 |
| Langue du texte intégral | : | français |
| Date de production, écriture | : | 22/12/2024 |
| Thématiques | : | GT LVP AFADL |
| PDF version | : |  PDF version |
