C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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