An Abstract Interpretation Framework for Input Data Usage.

Caterina Urban Peter Müller

Published in: ESOP (2018)

Keyphrases

abstract interpretation
input data
data sets
termination analysis
database systems
reasoning engine
database
databases
software architecture
static analysis