Flow-sensitive type recovery in linear-log time.

Michael D. Adams Andrew W. Keep Jan Midtgaard Matthew Might Arun Chauhan R. Kent Dybvig

Published in: OOPSLA (2011)

Keyphrases

real time
database
databases
machine learning
flow field
transfer function
blood flow
decision making
multi agent
linear model
piecewise linear
failure recovery