Modular efficient deconstruction with typed pointer reversal - Archive ouverte HAL 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)

Identifiants

  • HAL Id : hal-04406342 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More