Login / Signup
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers.
Tobias Runge
Alexander Kittelmann
Marco Servetto
Alex Potanin
Ina Schaefer
Published in:
CoRR (2022)
Keyphrases
</>
strongly typed
type checking
information flow control
programming language
object oriented
website
natural language
database programming language
data sets
language learning
language processing
target language
neural network
decision making
software engineering
network traffic
learning algorithm
data mining