Internal models of system F for decompilation.

Stefano Berardi Makoto Tatsuta

Published in: Theor. Comput. Sci. (2012)

Keyphrases

complex systems
three dimensional
probabilistic model
statistical models
accurate models
real time
neural network
data mining
learning algorithm
data structure
search algorithm
statistical methods
neural network model
computational models