Towards a linear functional translation for borrowing - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Towards a linear functional translation for borrowing

Résumé

We present a functional translation of a subset of safe Rust programs, building upon the results of Aeneas. It preserves linearity and captures a new feature, namely lifetime bounds. This is a work in progress: in particular, translation rules are not set yet. We discuss perspectives for this work at the end of the paper.
Fichier principal
Vignette du fichier
jfla2024-paper-5.pdf (355.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04360462 , version 1 (21-12-2023)
hal-04360462 , version 2 (20-01-2024)

Identifiants

  • HAL Id : hal-04360462 , version 2

Citer

Sidney Congard. Towards a linear functional translation for borrowing. 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France. ⟨hal-04360462v2⟩
121 Consultations
70 Téléchargements

Partager

Gmail Facebook X LinkedIn More