Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Multivariate Amortized Resource Analysis Jan Hoffmann Klaus Aehlig Martin Hofmann
 

Summary: Multivariate Amortized Resource Analysis
Jan Hoffmann Klaus Aehlig Martin Hofmann
Ludwig-Maximilians-Universit¨at M¨unchen
{jan.hoffmann,aehlig,martin.hofmann}@ifi.lmu.de
Abstract
We study the problem of automatically analyzing the worst-case
resource usage of procedures with several arguments. Existing au-
tomatic analyses based on amortization, or sized types bound the
resource usage or result size of such a procedure by a sum of unary
functions of the sizes of the arguments.
In this paper we generalize this to arbitrary multivariate polyno-
mial functions thus allowing bounds of the form mn which had to
be grossly overestimated by m2
+ n2
before. Our framework even
encompasses bounds like
P
i,jn mimj where the mi are the sizes
of the entries of a list of length n.
This allows us for the first time to derive useful resource bounds

  

Source: Aehlig, Klaus T. - Institut für Informatik, Ludwig-Maximilians-Universität München

 

Collections: Mathematics; Computer Technologies and Information Sciences