Termination Casts: A Flexible Approach to Termination with General Recursion.

Aaron Stump Vilhelm Sjöberg Stephanie Weirich

Published in: PAR@ITP (2010)

Keyphrases

special case
deductive databases
clustering algorithm
closely related
database
real time
genetic algorithm
search engine
social networks
multiscale
wide range
video sequences
active rules
term rewriting
termination analysis