CS Seminar: Pedro Vasconcelos, February 2, 2005

Speaker

Dr. Pedro Vasconcelos,
School of Computer Science,
University of St Andrews,
North Haugh, St Andrews, UK.

Date and Time

Wednesday, February 2, 2005 at 14:30

Place

Sala Riunioni,
Dipartimento di Matematica, Università di Parma, Via D'Azeglio 85/A, I-43100 Parma

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).

Contact Person

Roberto Bagnara

[Page last updated on January 21, 2013, 20:45:42.]