*********************************************************************
*                       Ecole Normale Supe'rieure                   *
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                      Ecole normale superieure                     *
*                    ENS  45 rue d'Ulm  75005 Paris                 *
*********************************************************************


***  Vendredi 2 Septembre 2011, Salle U/V, 14h00-15h00 **************

COSTA: A COSt and Termination Analyzer for Java (bytecode)

Elvira Albert
	  http://clip.dia.fi.upm.es/~elvira/
German Puebla
	  http://clip.dia.fi.upm.es/~german/
	  


Re'sume'/ Abstract:

The classical approach to static cost analysis consists of
two phases. In the first one, the program is translated into a set of
recurrence relations; and in the second phase they are solved into
closed-form upper/lower bounds. In this talk, we will describe the
static analysis techniques underlying COSTA, a COSt and Termination
Analyzer for Java (bytecode) Programs. In particular, we will discuss
the main techniques used to generate cost relations in Java-like
languages, depending on the nature of cost we are interested in
approximating. We will also see the methods used for solving them into
closed form bounds. The talk will finish with a tool demonstration.
More information at https://costa.ls.fi.upm.es/

*********************************************************************
Pour recevoir l'annonce par courrier electronique:
WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml
*********************************************************************