Programming with permissions in Mezzo - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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".
Fichier principal
Vignette du fichier
pottier-protzenko-mezzo.pdf (257.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00877590 , version 1 (28-10-2013)

Identifiers

Cite

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, ⟨10.1145/2500365.2500598⟩. ⟨hal-00877590⟩

Collections

INRIA INRIA2
149 View
217 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More