Termination Analysis of CHR Revisited.

Paolo Pilozzi Danny De Schreye

Published in: ICLP (2008)

Keyphrases

termination analysis
constraint handling rules
active rules
active databases
abstract interpretation
integrity constraints
software architecture
distributed systems
software development
deductive databases