Proving Termination of GHC Programs.

M. R. K. Krishna Rao Deepak Kapur R. K. Shyamasundar

Published in: ICLP (1993)

Keyphrases

term rewrite systems
computer programs
evolutionary algorithm
control program
databases
social networks
case study
multiscale
operating system
programming environment
automatic programming