FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution).

Published in: TACAS (2015)

Keyphrases

complex objects
domain specific
domain independent
higher level
data sets
artificial intelligence
low level
domain experts
social networks
data model
term rewriting