Improved Tool Support for Machine-Code Decompilation in HOL4.

Anthony C. J. Fox

Published in: ITP (2015)

Keyphrases

tool support
software tools
software development
design decisions
source code
software projects
test suite
software engineering
theorem prover
information systems
batch processing
learning algorithm
training data
trade off
neural network
flowshop
decision trees