January 2005 - PURRS-devel - BUGSENG Mailman

Seminario su analisi di complessita`
by Roberto Bagnara 28 Jan '05

28 Jan '05

[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

1 0

purrs/tests multivar_driver.cc
by Andrea Pescetti 27 Jan '05

27 Jan '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-01-27 01:22:43 Modified files: tests : multivar_driver.cc Log message: Make sure we give symbols their original name after processing. Removed unused code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/tests Makefile.am multivar_driver.cc mva ...
by Andrea Pescetti 26 Jan '05

26 Jan '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-01-26 19:27:16 Modified files: tests : Makefile.am Added files: tests : multivar_driver.cc mvar_tests Log message: We can now handle recurrences where x() has an arbitrary number of argumets. We can also solve them as long as there is only one "real" variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/mvar_tests?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr…

1 0

purrs/src Recurrence.cc
by Andrea Pescetti 26 Jan '05

26 Jan '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-01-26 19:16:05 Modified files: src : Recurrence.cc Log message: Accept symbols as arguments in max(). Consider max() when computing lower/upper bounds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh rr_ ...
by Andrea Pescetti 23 Jan '05

23 Jan '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-01-23 15:19:09 Modified files: src : Recurrence.cc Recurrence.defs.hh rr_classifier.cc Log message: We can now solve simple recurrences containing a max(). Some checks are still missing; their absence may lead to incorrect evaluation when the involved coefficients are negative - in our applications they are always positive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Expr.cc Expr.defs.hh Expr.inlines.hh
by Andrea Pescetti 19 Jan '05

19 Jan '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-01-19 18:34:32 Modified files: src : Expr.cc Expr.defs.hh Expr.inlines.hh Log message: We can now parse and -to some extent- compute max(expr1, expr2). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv…

1 0