Expression Reduction from Programs in a Symbolic Binary Executor.

Anthony Romano Dawson R. Engler

Published in: SPIN (2013)

Keyphrases

intermediate level
non binary
binary data
symbolic description
programming environment
fixpoint
multi valued
provably correct
control structures
automatic programming
step by step instructions
databases
low level
hidden markov models
high dimensional
expert systems
support vector
high level