Login / Signup

An Experiment in Type Inference and Verification by Abstract Interpretation.

Roberta GoriGiorgio Levi
Published in: VMCAI (2002)
Keyphrases
  • abstract interpretation
  • model checking
  • termination analysis
  • static analysis
  • database
  • active rules
  • databases
  • case study
  • active databases