On the semantics of non-interference type-based analysis.

Frédéric Prost

Published in: JFLA (2001)

Keyphrases

database
statistical analysis
quantitative analysis
data sets
learning algorithm
computer vision
multiscale
logic programming