Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Efficient Deconstruction with Typed Pointer Reversal (abstract)

Guillaume Munch-Maccagnoni 1, 2 Rémi Douence 1, 3
1 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
2 LS2N - Laboratoire des Sciences du Numérique de Nantes
3 IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire
Abstract : The resource-management model of C++ and Rust relies on compiler-generated destructors called predictably and reliably. In current implementations, the generated destructor consumes stack space proportionally to the depth of the structure it destructs. We describe a way to derive destructors for algebraic data types that consume a constant amount of stack and heap. We discuss applicability to C++ and Rust, and also some implication for anyone wishing to extend an ML-style language with first-class resources.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-02177326
Contributeur : Guillaume Munch-Maccagnoni <>
Soumis le : mardi 9 juillet 2019 - 19:38:41
Dernière modification le : mercredi 24 juin 2020 - 16:19:53

Fichier

Vignette du document
efficient-drops-mlworkshop.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02177326, version 2

Collections

EC-NANTES | UNAM | CNRS | LS2N | INRIA | UNIV-NANTES | LS2N-GALLINETTE | INSTITUT-TELECOM

Citation

Guillaume Munch-Maccagnoni, Rémi Douence. Efficient Deconstruction with Typed Pointer Reversal (abstract). ML 2019 - Workshop, KC Sivaramakrishnan, Aug 2019, Berlin, Germany. pp.1-8. ⟨hal-02177326v2⟩

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

1577

Téléchargements de fichiers

1320

 

 Contact                    Mentions légales                    Données personnelles