[PURRS-devel] Seminario su analisi di complessita`

Roberto Bagnara bagnara at cs.unipr.it
Fri Jan 28 22:47:25 CET 2005

[Con preghiera di diffusione e scuse per l'eventuale ricezione di copie
multiple.  RB]


Date:     Mercoledi`, 2 febbraio 2005

Time:     14:30

Speaker:  Pedro Vasconcelos
           School of Computer Science
           University of St Andrews
           North Haugh, St Andrews, UK

Title:    A Type and Effect System for Cost Equation Synthesis

Abstract: We present a static program analysis based on an annotated
           type system for synthesising size and cost recurrences for a
           minimal functional notation (simply-typed lambda-calculus
           with naturals, lists and recursive definitions).  The cost
           recurrences express upper-bound aproximations on the number
           of beta-reductions in a call-by-value operational semantics.
           This work is being developed is part of the research in
           ``Hume'', a functionally-inspired programming language for
           resource-bounded systems (http://www.hume-lang.org).

Place:    Sala Riunioni
           Dipartimento di Matematica
           Universita` di Parma
           Via D'Azeglio, 85/A


Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it

More information about the PURRS-devel mailing list