Login / Signup

Improved Termination Analysis of CHR Using Self-sustainability Analysis.

Paolo PilozziDanny De Schreye
Published in: LOPSTR (2011)
Keyphrases
  • termination analysis
  • databases
  • database systems
  • active rules
  • database
  • static analysis