Sound up-to techniques and Complete abstract domains.

Filippo Bonchi Pierre Ganty Roberto Giacobazzi Dusko Pavlovic

Published in: LICS (2018)

Keyphrases

real world
high level
set of inference rules
information retrieval
case study
inference rules
databases
data mining
three dimensional
application domains
complex domains