Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis

Summary: Automatic Inference of Upper Bounds for
Recurrence Relations in Cost Analysis
Elvira Albert1
, Puri Arenas1
, Samir Genaim2
, and Germ´an Puebla2
DSIC, Complutense University of Madrid, E-28040 Madrid, Spain
CLIP, Technical University of Madrid, E-28660 Boadilla del Monte, Madrid, Spain
Abstract. The classical approach to automatic cost analysis consists of
two phases. Given a program and some measure of cost, we first pro-
duce recurrence relations (RRs) which capture the cost of our program
in terms of the size of its input data. Second, we convert such RRs into
closed form (i.e., without recurrences). Whereas the first phase has re-
ceived considerable attention, with a number of cost analyses available
for a variety of programming languages, the second phase has received
comparatively little attention. In this paper we first study the features
of RRs generated by automatic cost analysis and discuss why existing
computer algebra systems are not appropriate for automatically obtain-


Source: Arenas, Puri - Facultad de Informática, Universidad Politécnica de Madrid


Collections: Computer Technologies and Information Sciences