Sign in

PostHat and All That: Automating Abstract Interpretation.

Aditya V. ThakurAkash LalJunghee LimThomas W. Reps
Published in: Electron. Notes Theor. Comput. Sci. (2015)
Keyphrases
  • database
  • abstract interpretation
  • termination analysis
  • active rules
  • static analysis
  • model checking
  • active databases
  • dynamic analysis
  • reasoning engine
  • data management
  • database applications