Proving Termination of Tree Manipulating Programs.

Peter Habermehl Radu Iosif Adam Rogalewicz Tomás Vojnar

Published in: ATVA (2007)

Keyphrases

tree structure
term rewrite systems
tree traversal
computer programs
tree construction
tree models
data sets
programming environment
real time
neural network
e learning
database systems
bayesian networks
relational databases
index structure
tree nodes