Login / Signup

Completeness in Abstract Interpretation: A Domain Perspective.

Roberto GiacobazziFrancesco Ranzato
Published in: AMAST (1997)
Keyphrases
  • abstract interpretation
  • fine grained
  • data quality
  • static analysis
  • databases
  • database
  • case study
  • multi agent systems
  • domain independent
  • integrity constraints
  • active rules
  • termination analysis