Login / Signup

Automated Amortised Resource Analysis for Term Rewrite Systems.

Georg MoserManuel Schneckenreither
Published in: FLOPS (2018)
Keyphrases
  • data analysis
  • query optimization
  • rewrite rules