Termination of Loop Programs with Polynomial Guards.

Bin Wu Liyong Shen Zhongqin Bi Zhenbing Zeng

Published in: ICCSA (4) (2010)

Keyphrases

term rewrite systems
automatic programming
low order
artificial intelligence
computer programs
fixpoint
databases
high level
database systems
similarity measure
multiscale
support vector
expert systems
java programs