Programming with permissions in Mezzo

Abstract : We present Mezzo, a typed programming language of ML lineage. Mezzo is equipped with a novel static discipline of duplicable and affine permissions, which controls aliasing and ownership. This rules out certain mistakes, including representation exposure and data races, and enables new idioms, such as gradual initialization, memory re-use, and (type)state changes. Although the core static discipline disallows sharing a mutable data structure, Mezzo offers several ways of working around this restriction, including a novel dynamic ownership control mechanism which we dub "adoption and abandon".
Type de document :
Communication dans un congrès
ICFP - The 18th ACM SIGPLAN International Conference on Functional Programming - 2013, Sep 2013, Boston, United States. pp.173-184, 2013, <10.1145/2500365.2500598>
Liste complète des métadonnées

https://hal.inria.fr/hal-00877590
Contributeur : François Pottier <>
Soumis le : lundi 28 octobre 2013 - 21:47:00
Dernière modification le : lundi 5 octobre 2015 - 16:58:26
Document(s) archivé(s) le : mercredi 29 janvier 2014 - 04:50:27

Fichier

pottier-protzenko-mezzo.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

François Pottier, Jonathan Protzenko. Programming with permissions in Mezzo. ICFP - The 18th ACM SIGPLAN International Conference on Functional Programming - 2013, Sep 2013, Boston, United States. pp.173-184, 2013, <10.1145/2500365.2500598>. <hal-00877590>

Partager

Métriques

Consultations de
la notice

158

Téléchargements du document

192