Polymorphic type inference for machine code.

Matthew Noonan Alexey Loginov David Cok

Published in: PLDI (2016)

Keyphrases

static analysis
type checking
inference process
data sets
artificial intelligence
programming language
source code
grammatical inference
batch processing
model selection
data types
probabilistic inference
bayesian inference
inference engine
special case
efficient learning
error correcting
real time