• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Transformation System for Definite Programs Based on Termination Analysis.

J. CookJohn 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