Modular efficient deconstruction with typed pointer reversal - Archive ouverte HAL Access content directly
Conference Papers Year : 2024

Modular efficient deconstruction with typed pointer reversal

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04406342 , version 1

Cite

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⟩
83 View
67 Download

Share

Gmail Facebook X LinkedIn More