Login / Signup

A Note on a Standard Strategy for Developing Loop Invariants and Loops.

David Gries
Published in: Sci. Comput. Program. (1982)
Keyphrases
  • neural network
  • information retrieval
  • genetic algorithm
  • knowledge base
  • special case
  • invariant features
  • onset detection