15 citations · 63 across the 16 of their papers we have counts for
7 papers · 1 filter
Multi-graded Featherweight Java
Riccardo Bianchini, Francesco Dagnino, Paola Giannini +1
Resource-aware type systems statically approximate not only the expected result type of a program, but also the way external resources are used, e.g., how many times the value of a…
Coeffects for Sharing and Mutation
Riccardo Bianchini, Francesco Dagnino, Paola Giannini +2
In type-and-coeffect systems, contexts are enriched by coeffects modeling how they are actually used, typically through annotations on single variables. Coeffects are computed bott…
A Syntactic Model of Mutation and Aliasing
Paola Giannini, Marco Servetto, Elena Zucca
Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstr…
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.…
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…
A Calculus of Located Entities
Adriana Compagnoni, Paola Giannini, Catherine Kim +2
We define BioScapeL, a stochastic pi-calculus in 3D-space. A novel aspect of BioScapeL is that entities have programmable locations. The programmer can specify a particular locatio…