Typable Fragments of Polynomial Automatic Amortized Resource Analysis.

Long Pham Jan Hoffmann

Published in: CoRR (2020)

Keyphrases

data analysis
data sets
genetic algorithm
image analysis
statistical analysis
database systems
automatic analysis
horizontal fragmentation