Termination Analysis for Mercury.

Chris Speirs Zoltan Somogyi Harald Søndergaard

Published in: SAS (1997)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
management system
object oriented databases
deductive databases
programming language
spatial objects