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. The 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.
Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 17:30 | |||
15:30 30mTalk | Disjoint Polymorphism with Intersection and Union Types FTfJP | ||
16:00 30mTalk | Coeffects for MiniJava: Cf-Mj FTfJP | ||
16:30 30mTalk | Dafny vs. Dala: Experience with Mechanising Language Design FTfJP James Noble Independent. Wellington, NZ, Julian Mackay Victoria University of Wellington, Tobias Wrigstad Uppsala University, Andrew Fawcett Victoria University of Wellington, Michael Homer Victoria University of Wellington File Attached | ||
17:00 30mTalk | Incrementalizing Polynomial Functors FTfJP Timon Böhler Technical University of Darmstadt, David Richter Technical University of Darmstadt, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE |
Information for Participants
Fri 20 Sep 2024 15:30 - 17:30 at EI 2 Pichelmayer - FTfJP Session 3 Chair(s): Dara MacConville
Info for room EI 2 Pichelmayer: