Modular Control-Flow Analysis with Rank 2 Intersection Types.

Anindya Banerjee Thomas P. Jensen

Published in: Math. Struct. Comput. Sci. (2003)

Keyphrases

flow analysis
information flow
control system
data acquisition
control strategy
real time
learning algorithm
information systems
knowledge base
control method
adaptive control
control theory