Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs.

Cristina David Daniel Kroening Matt Lewis

Published in: ESOP (2015)

Keyphrases

bit vector
term rewriting
rewrite systems
data mining
active rules
real time
social networks
computer vision
multiscale
data structure
evolutionary algorithm
bit vectors