A Java-like Calculus with User-Defined Coeffects

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

Abstract

We propose a Java-like calculus where declared variables can be annotated by coeffects specifying constraints on their use, such as linearity or privacy levels. Annotations are written in the language itself, as expressions of type Coeffect, a predefined class which can be extended by user-defined subclasses, modeling the coeffects desired for a specific application. We formalize the type system and prove subject reduction, which includes preservation of coeffects, and show several examples.

Lingua originaleInglese
pagine (da-a)66-78
Numero di pagine13
RivistaCEUR Workshop Proceedings
Volume3284
Stato di pubblicazionePubblicato - 2022
Evento23rd Italian Conference on Theoretical Computer Science, ICTCS 2022 - Rome, Italy
Durata: 7 set 20229 set 2022

Fingerprint

Entra nei temi di ricerca di 'A Java-like Calculus with User-Defined Coeffects'. Insieme formano una fingerprint unica.

Cita questo