Type-Based Decompilation (or Program Reconstruction via Type Reconstruction).

Published in: ESOP (1999)

Keyphrases

neural network
three dimensional
decision making
reconstruction method
decision trees
search algorithm
programming course
reconstruction process
discrete tomography
discrete sets