Typing noninterference for reactive programs.

Ana Almeida Matos Gérard Boudol Ilaria Castellani

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases

artificial intelligence
evolutionary algorithm
error rate
programming environment
intermediate level
data sets
computer vision
feature selection
user interface
java programs