TY  - RPRT
TI  - Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
AU  - Tobias Runge
AU  - Alexander Kittelmann
AU  - Marco Servetto
AU  - Alex Potanin
AU  - Ina Schaefer
PY  - 2022
UR  - https://arxiv.org/abs/2208.02672
ID  - 2208.02672
ER  -