File(s) stored somewhere else

Please note: Linked content is NOT stored on Open Access Victoria University of Wellington | Te Herenga Waka and we can't guarantee its availability, quality, security or accept any liability.

Tracing and preventing sharing and mutation

conference contribution
posted on 01.11.2020, 22:13 by P Giannini, Marco Servetto, E Zucca
Copyright © 2019 for this paper by its authors. We present a type and effect system for tracing and preventing sharing and mutation in imperative languages. That is, on one hand, the type system traces sharing possibly introduced by the evaluation of an expression, so that uniqueness and immutability properties can be easily detected. On the other hand, sharing and mutation can be prevented by type qualifiers which forbid some actions. Sharing is directly represented at the syntactic level as a relation among free variables, thanks to the fact that in the underlying calculus memory is encoded in terms.

History

Preferred citation

Giannini, P., Servetto, M. & Zucca, E. (2019, January). Tracing and preventing sharing and mutation. In CEUR Workshop Proceedings (2504 pp. 190-203).

Title of proceedings

CEUR Workshop Proceedings

Volume

2504

Publication or Presentation Year

01/01/2019

Pagination

190-203

Publication status

Published

ISSN

1613-0073

Exports

Logo branding

Categories

Exports