Domain Precision in Galois Connection-Less Abstract Interpretation.

Isabella Mastroeni Michele Pasqua

Published in: SAS (2023)

Keyphrases

abstract interpretation
termination analysis
static analysis
domain independent
data mining
case study
active databases
active rules