Polymorphic Type Inference for Machine Code.

Matthew Noonan Alexey Loginov David Cok

Published in: CoRR (2016)

Keyphrases

type checking
probabilistic inference
source code
bayesian networks
database
neural network
information retrieval
error correcting
learning algorithm
support vector
special case
inference mechanism