Advances in Proving Program Termination and Liveness.

Published in: CADE (2011)

Keyphrases

term rewrite systems
recent advances
computer programs
machine learning
e learning
data mining
artificial intelligence
multimedia
data structure
test cases
program execution
term rewriting