A type and effect system for sharing

Paola Giannini, Marco Servetto, Elena Zucca

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

We outline a type and effect system which infers sharing possibly introduced by the evaluation of an expression. In this way, expressions get very expressive types, which generalize notions enforced in literature by type modifiers. Sharing is directly represented at the syntactic level as a relation among free variables, thanks to the fact that the underlying calculus is pure. That is, imperative features are modeled by just rewriting source code terms.

Lingua originaleInglese
Titolo della pubblicazione ospite32nd Annual ACM Symposium on Applied Computing, SAC 2017
EditoreAssociation for Computing Machinery
Pagine1513-1515
Numero di pagine3
ISBN (elettronico)9781450344869
DOI
Stato di pubblicazionePubblicato - 3 apr 2017
Evento32nd Annual ACM Symposium on Applied Computing, SAC 2017 - Marrakesh, Morocco
Durata: 4 apr 20176 apr 2017

Serie di pubblicazioni

NomeProceedings of the ACM Symposium on Applied Computing
VolumePart F128005

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???32nd Annual ACM Symposium on Applied Computing, SAC 2017
Paese/TerritorioMorocco
CittàMarrakesh
Periodo4/04/176/04/17

Fingerprint

Entra nei temi di ricerca di 'A type and effect system for sharing'. Insieme formano una fingerprint unica.

Cita questo