Login / Signup

Advances in Program Termination and Liveness.

Byron Cook
Published in: VMCAI (2009)
Keyphrases
  • artificial intelligence
  • recent advances
  • real time
  • program execution
  • term rewriting
  • data structure
  • evolutionary algorithm
  • test cases