Sign in
Automated Amortised Resource Analysis for Term Rewrite Systems.
Georg Moser
Manuel Schneckenreither
Published in:
FLOPS (2018)
Keyphrases
</>
data analysis
query optimization
rewrite rules