Sign in
Dynamic Witnesses for Static Type Errors.
Eric L. Seidel
Ranjit Jhala
Westley Weimer
Published in:
CoRR (2016)
Keyphrases
</>
dynamic environments
multiple types
dynamic constraints
neural network
case study
database
real time
real world
data mining
database systems
high resolution
special case
least squares
error detection