Abstract Interpretation in Industry - Experience and Lessons Learned.

Daniel Kästner Reinhard Wilhelm Christian Ferdinand

Published in: SAS (2023)

Keyphrases

lessons learned
abstract interpretation
case study
termination analysis
future directions
static analysis
active rules
participatory design
active databases
real world
database systems
open source
dynamic analysis
reasoning engine