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