Login / Signup

Efficient abstract interpretation using component-wise homomorphisms.

Jörg KöllerMarkus Mohnen
Published in: PPDP (2000)
Keyphrases
  • abstract interpretation
  • termination analysis
  • relational databases
  • integrity constraints