C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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