pymwp: A Static Analyzer Determining Polynomial Growth Bounds.

Clément Aubert Thomas Rubiano Neea Rusch Thomas Seiller

Published in: ATVA (2023)

Keyphrases

upper bound
worst case
dynamic analysis
lower and upper bounds
lower bound
growth model
database
upper and lower bounds
neural network
artificial neural networks
data acquisition
error bounds
computational complexity
search engine
average case
linear threshold
databases