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