An Efficient Type- and Control-Flow Analysis for System F.

Connor Adsit Matthew Fluet

Published in: IFL (2014)

Keyphrases

flow analysis
information flow
control system
control strategy
forensic analysis
neural network
genetic algorithm
artificial neural networks
user interface
mobile devices
control theory
optimal control
decision support
data sets
multi agent systems
multiscale
artificial intelligence
information retrieval
databases