@inproceedings{954a871e9e4b4813ba1e74d3e65253a9,
title = "Coeffects for MiniJava: Cf-Mj",
abstract = "We propose an imperative Java-like calculus where declared variables can be annotated by coeffects specifying constraints on their use, e.g., affinity or privacy levels. Coeffects are heterogeneous, in the sense that different kinds of coeffects can be used in the same program. This paper extends previous work by the authors in which a functional core of a Java-like calculus was considered. Java annotations are used to identify classes implementing coeffects and coeffects decorating variable declarations. Moreover, a prototype implementation of the type and coeffect checker is given.",
keywords = "Coeffects, Java-like languages, Operational semantics",
author = "Paola Giannini and Giulio Duso",
note = "Publisher Copyright: {\textcopyright} 2024 Copyright held by the owner/author(s). Publication rights licensed to ACM.; 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Co-located with ISSTA 2024 ; Conference date: 20-09-2024",
year = "2024",
month = sep,
day = "20",
doi = "10.1145/3678721.3686232",
language = "English",
series = "FTfJP 2024 - Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Co-located with: ISSTA 2024",
publisher = "Association for Computing Machinery, Inc",
pages = "30--36",
editor = "\{Di Stefano\}, Luca",
booktitle = "FTfJP 2024 - Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Co-located with",
}