A Transformation System for Definite Programs Based on Termination Analysis.

J. Cook John P. Gallagher

Published in: LOPSTR (1994)

Keyphrases

termination analysis
abstract interpretation
active rules
active databases
control flow
data structure
object oriented
multi dimensional
model checking
integrity constraints
data warehousing
data flow