Italiano (Italian) English (Inglese)
Tuesday, 10 December 2024

Technical Reports

Technical Report Details
Authors:Paola Giannini
Marco Servetto
Elena Zucca
Scientific Area:Formal Models
Title:Tracing and preventing sharing and mutation
Published on:TR-INF-2019-07-03-UNIPMN
Publisher:DiSIT, Computer Science Institute, UPO
Year:2019
URL:http://www.di.unipmn.it...R-INF-2019-07-03-UNIPMN.pdf
Abstract: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.