[cs at parma seminars] Seminario di informatica.

[Enea Zaffanella]

              SEMINARIO DI INFORMATICA

La Prof. Elvira Albert dell'Università Politecnica di Valencia
terrà un seminario di informatica mercoledì 27 febbraio 2002
alle ore 15:00 presso il Dipartimento di Matematica dell'Università di 
Parma.

I dettagli sono reperibili qui sotto e disponibili all'URI
http://www.cs.unipr.it/Seminars/
Per ulteriori informazioni: Roberto Bagnara (bagnara at cs.unipr.it).

===========================================================================

Titolo:   Measuring the Effectiveness of Narrowing-Driven Specialization

Relatore: Prof. Elvira Albert,
           DSIC, Technical University of Valencia.

Data:     Mercoledì 27 febbraio 2002
Ora:      15:00
Luogo:    Aula 1, Dipartimento di Matematica, Università di Parma,
           Via D'Azeglio, 85/A, I-43100 Parma

Abstract:
     A common motivation of all partial evaluation techniques is to
improve the efficiency of a program while preserving its meaning.
Rather surprisingly, relatively little attention has been paid to
the development of formal methods for reasoning about the
effectiveness of this program transformation; usually, only
experimental tests on particular languages and compilers are
undertaken. Clearly, a machine-independent way of measuring the
effectiveness of partial evaluation would be useful to both users
and developers of partial evaluators.

In this talk, we present a framework for assessing the effectiveness
of partial evaluators in functional logic languages.  Our framework is
based on properties of the rewrite system that models a functional
logic program. Therefore, our assessment is independent of any
specific language implementation or computing environment. We define
several criteria for measuring the cost of a computation: number of
steps, number of function applications, and pattern matching effort.

The cost associated to each criterion is expressed by means of
recurrence equations over algebraic data types, which can be
automatically inferred from the partial evaluation process itself.
In some cases, the equations can be solved by transforming their
arguments from arbitrary data types to natural numbers. In other
cases, it is possible to estimate the improvement of a partial
evaluation by analyzing the associated cost recurrence equations.

===========================================================================

Informazioni sui seminari organizzati da cs at parma possono essere
reperite all'URI http://www.cs.unipr.it/Seminars/ .
È possibile ricevere regolarmente per email gli annunci di questi
seminari iscrivendosi alla mailing list seminars at cs.unipr.it.
Per iscriversi a questo servizio si può visitare la pagina
http://www.cs.unipr.it/mailman/listinfo/seminars .

-- 
Enea Zaffanella
Computer Science Group
Department of Mathematics, University of Parma, Italy