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.
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|