Automated Amortised Resource Analysis for Term Rewrite Systems.

Georg Moser Manuel Schneckenreither

Published in: CoRR (2018)

Keyphrases

data driven
data objects
automated analysis
data structure
data analysis
range images
resource allocation
term rewrite systems