A Java-like calculus with heterogeneous coeffects

We propose a Java-like calculus where declared variables can be annotated by coeffects specifying constraints on their use, e.g., affinity or privacy levels. Such coeffects are heterogeneous, in the sense that different kinds of coeffects can be used in the same program; combining coeffects of diffe...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 971; s. 114063
Hlavní autoři:	Bianchini, Riccardo, Dagnino, Francesco, Giannini, Paola, Zucca, Elena
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 06.09.2023
Témata:	Java-like languages Operational semantics Type systems Operational semantics Java-like languages Type systems
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!