The Zonotope Abstract Domain Taylor1+.

Khalil Ghorbal Eric Goubault Sylvie Putot

Published in: CAV (2009)

Keyphrases

domain experts
domain independent
high level
domain specific
data sets
social networks
information systems
database systems
multi agent systems
expert systems
artificial neural networks