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

The size-change principle for program termination.

Chin Soon LeeNeil D. JonesAmir M. Ben-Amram
Published in: POPL (2001)
Keyphrases
  • program execution
  • database
  • fixed size
  • data sets
  • data mining
  • genetic algorithm
  • website
  • multi agent
  • information theoretic
  • memory requirements
  • standard deviation
  • programming environment
  • java programs
  • scales linearly