The octagon abstract domain.

Published in: High. Order Symb. Comput. (2006)

Keyphrases

domain specific
data sets
real time
image processing
case study
expert systems
complex domains
genetic algorithm
learning algorithm
multiscale
control system
hidden markov models
low level
domain independent
cross domain