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 sharing in an imperative pure calculus

journal contribution
posted on 01.11.2020, 22:42 by P Giannini, T Richter, Marco Servetto, E Zucca
© 2018 Elsevier B.V. We introduce a type and effect system, for an imperative object calculus, which infers sharing possibly introduced by the evaluation of an expression, represented as an equivalence relation among its free variables. This direct representation of sharing effects at the syntactic level allows us to express in a natural way, and to generalize, widely-used notions in literature, notably uniqueness and borrowing. Moreover, the calculus is pure in the sense that reduction is defined on language terms only, since they directly encode store. The advantage of this non-standard execution model with respect to a behaviorally equivalent standard model using a global auxiliary structure is that reachability relations among references are partly encoded by scoping.

History

Preferred citation

Giannini, P., Richter, T., Servetto, M. & Zucca, E. (2019). Tracing sharing in an imperative pure calculus. Science of Computer Programming, 172, 180-202. https://doi.org/10.1016/j.scico.2018.11.007

Journal title

Science of Computer Programming

Volume

172

Publication date

01/03/2019

Pagination

180-202

Publisher

Elsevier BV

Publication status

Published

ISSN

0167-6423

eISSN

1872-7964

Language

en

Exports