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...

Full description

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 971; p. 114063
Main Authors:	Bianchini, Riccardo, Dagnino, Francesco, Giannini, Paola, Zucca, Elena
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 06.09.2023
Subjects:	Java-like languages Operational semantics Type systems Operational semantics Java-like languages Type systems
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!