Wellfounded recursion with copatterns: a unified approach to termination and productivity.

Andreas Abel Brigitte Pientka

Published in: ICFP (2013)

Keyphrases

complex objects
software development
deductive databases
three dimensional
term rewriting
rewrite systems
database
database systems
transitive closure
real time
databases
computer vision
image sequences
cooperative
logic programs