Modular efficient deconstruction with typed pointer reversal - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Modular efficient deconstruction with typed pointer reversal

Résumé

Destructors, responsible for releasing memory and other resources in languages such as C++ and Rust, can lead to stack overflows when releasing a recursive structure that is too deep. In certain cases, it is possible to generate an efficient destructor (non-allocating and tail recursive) using a typed variant of pointer reversal. We extend this technique by making it more modular, in order to handle abstract types, separate compilation, and unboxed types.
Fichier principal
Vignette du fichier
jfla2024-paper-13.pdf (511.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04406342 , version 1 (19-01-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04406342 , version 1

Citer

Jean Caspar, Guillaume Munch-Maccagnoni. Modular efficient deconstruction with typed pointer reversal. JFLA 2024 - 35es Journées Francophones des Langages Applicatifs, Jan 2024, Saint-Jacut-de-la-Mer, France. pp.1-10. ⟨hal-04406342⟩
70 Consultations
51 Téléchargements

Partager

Gmail Facebook X LinkedIn More