Sign in

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios.

Muhammad Numair MansurBenjamin MarianoMaria ChristakisJorge A. NavasValentin Wüstholz
Published in: CAV (2) (2021)
Keyphrases
  • usage scenarios
  • abstract interpretation
  • termination analysis
  • active databases
  • database
  • data model