Loop invariant synthesis in a combined abstract domain.

Shengchao Qin Guanhua He Chenguang Luo Wei-Ngan Chin Xin Chen

Published in: J. Symb. Comput. (2013)

Keyphrases

domain independent
domain specific
low level
program synthesis
blocks world
higher level
artificial intelligence
evolutionary algorithm
multiresolution
hidden markov models
high level
genetic algorithm
neural network
affine invariant
cross domain
invariant features
combining multiple
data sets
real time