Certification of Safe Polynomial Memory Bounds.

Javier de Dios Ricardo Peña

Published in: FM (2011)

Keyphrases

upper bound
lower bound
memory requirements
low memory
third party
lower and upper bounds
memory usage
memory space
computing power
worst case bounds
limited memory
average case
upper and lower bounds
low order
external memory
worst case
polynomially bounded
real time