On the Properties of Partial Completeness in Abstract Interpretation.

Marco Campion Mila Dalla Preda Roberto Giacobazzi

Published in: ICTCS (2022)

Keyphrases

abstract interpretation
termination analysis
database systems
databases
knowledge base
database
information systems
web services
data warehouse