Making abstract domains condensing.

Roberto Giacobazzi Francesco Ranzato Francesca Scozzari

Published in: ACM Trans. Comput. Log. (2005)

Keyphrases

real world
application domains
case study
databases
high level
data sets
cross domain
state machines