A type and effect system for sharing

Paola Giannini; Marco Servetto; Elena Zucca

doi:10.1145/3019612.3019890

A type and effect system for sharing

Paola Giannini, Marco Servetto, Elena Zucca

Department of Sustainable Development and Ecological Transition

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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.

Original language	English
Title of host publication	32nd Annual ACM Symposium on Applied Computing, SAC 2017
Publisher	Association for Computing Machinery
Pages	1513-1515
Number of pages	3
ISBN (Electronic)	9781450344869
DOIs	https://doi.org/10.1145/3019612.3019890
Publication status	Published - 3 Apr 2017
Event	32nd Annual ACM Symposium on Applied Computing, SAC 2017 - Marrakesh, Morocco Duration: 4 Apr 2017 → 6 Apr 2017

Publication series

Name	Proceedings of the ACM Symposium on Applied Computing
Volume	Part F128005

Conference

Conference	32nd Annual ACM Symposium on Applied Computing, SAC 2017
Country/Territory	Morocco
City	Marrakesh
Period	4/04/17 → 6/04/17

Keywords

Calculi
Effects
Sharing
Type inference

Access to Document

10.1145/3019612.3019890

Cite this

@inproceedings{36cfeee3ac3440f0b1b8775add574a8c,

title = "A type and effect system for sharing",

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.",

keywords = "Calculi, Effects, Sharing, Type inference",

author = "Paola Giannini and Marco Servetto and Elena Zucca",

year = "2017",

month = apr,

day = "3",

doi = "10.1145/3019612.3019890",

language = "English",

series = "Proceedings of the ACM Symposium on Applied Computing",

publisher = "Association for Computing Machinery",

pages = "1513--1515",

booktitle = "32nd Annual ACM Symposium on Applied Computing, SAC 2017",

}

Giannini, P, Servetto, M & Zucca, E 2017, A type and effect system for sharing. in 32nd Annual ACM Symposium on Applied Computing, SAC 2017. Proceedings of the ACM Symposium on Applied Computing, vol. Part F128005, Association for Computing Machinery, pp. 1513-1515, 32nd Annual ACM Symposium on Applied Computing, SAC 2017, Marrakesh, Morocco, 4/04/17. https://doi.org/10.1145/3019612.3019890

A type and effect system for sharing. / Giannini, Paola; Servetto, Marco; Zucca, Elena.
32nd Annual ACM Symposium on Applied Computing, SAC 2017. Association for Computing Machinery, 2017. p. 1513-1515 (Proceedings of the ACM Symposium on Applied Computing; Vol. Part F128005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A type and effect system for sharing

AU - Giannini, Paola

AU - Servetto, Marco

AU - Zucca, Elena

PY - 2017/4/3

Y1 - 2017/4/3

N2 - 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.

AB - 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.

KW - Calculi

KW - Effects

KW - Sharing

KW - Type inference

UR - http://www.scopus.com/inward/record.url?scp=85020855993&partnerID=8YFLogxK

U2 - 10.1145/3019612.3019890

DO - 10.1145/3019612.3019890

M3 - Conference contribution

AN - SCOPUS:85020855993

T3 - Proceedings of the ACM Symposium on Applied Computing

SP - 1513

EP - 1515

BT - 32nd Annual ACM Symposium on Applied Computing, SAC 2017

PB - Association for Computing Machinery

T2 - 32nd Annual ACM Symposium on Applied Computing, SAC 2017

Y2 - 4 April 2017 through 6 April 2017

ER -

A type and effect system for sharing

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this