Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space.

Stefaan Decorte Danny De Schreye

Published in: IJCSLP (1998)

Keyphrases

termination analysis
active databases
active rules
relational databases
object oriented databases
abstract interpretation