Login / Signup

The Topology of Program Termination

Robert CartwrightAlan J. Demers
Published in: LICS (1988)
Keyphrases
  • term rewriting
  • computer vision
  • computer programs
  • rewrite systems
  • web services
  • multiresolution
  • static analysis
  • programming environment
  • small world
  • program execution