Termination Analysis for Partial Functions.

Jürgen Brauburger Jürgen Giesl

Published in: SAS (1996)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
information systems
business processes
object oriented databases