[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@cs.unipr.it