1 citations · 2 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
Flexible recovery of uniqueness and immutability (Extended Version)
Paola Giannini, Marco Servetto, Elena Zucca +1
We present an imperative object calculus where types are annotated with qualifiers for aliasing and mutation control. There are two key novelties with respect to similar proposals.…
cs.PL2018
Tracing sharing in an imperative pure calculus (Extended Version)
Paola Giannini, Tim Richter, Marco Servetto +1
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 equivalen…