Termination Analysis by Inductive Evaluation.

Jürgen Brauburger Jürgen Giesl

Published in: CADE (1998)

Keyphrases

termination analysis
active rules
active databases
information systems
programming language
evaluation method
evaluation model
abstract interpretation