[PURRS-devel] Seminario su analisi di complessita`

[Roberto Bagnara]

[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
           Parma

----------------------------------------------------------------------

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