Login / Signup
Information Flow Control-by-Construction for an Object-Oriented Language.
Tobias Runge
Alexander Kittelmann
Marco Servetto
Alex Potanin
Ina Schaefer
Published in:
SEFM (2022)
Keyphrases
</>
information flow control
object oriented
programming language
natural language
construction process
language learning
data mining
query language
object oriented programming
software systems
intrusion detection
databases
user interface
information systems
genetic algorithm
information retrieval
neural network