Execution-Guided Neural Program Decoding.

Chenglong Wang Po-Sen Huang Alex Polozov Marc Brockschmidt Rishabh Singh

Published in: CoRR (2018)

Keyphrases

program execution
execution traces
neural network
control flow
network architecture
symbolic execution
data flow
source code
database
static analysis
active databases
neural fuzzy
artificial neural
application programs
computer programs
case study
data sets