Login / Signup
Automated amortised resource analysis for term rewrite systems.
Georg Moser
Manuel Schneckenreither
Published in:
Sci. Comput. Program. (2020)
Keyphrases
</>
automated analysis
databases
data mining
data analysis
object oriented
rewrite rules