From: "Jacques Carette" <carette@mcmaster.ca>
To: "Frédéric Gava" <frederic.gava@wanadoo.fr>,
"Roberto Bagnara" <bagnara@cs.unipr.it>,
caml-list@inria.fr
Subject: Re: [Caml-list] Automatic complexity analysis of OCaml programs
Date: Thu, 02 Dec 2004 10:21:23 -0500 [thread overview]
Message-ID: <web-74863986@cgpsrv2.cis.mcmaster.ca> (raw)
In-Reply-To: <003101c4d87f$9ec0d3e0$0100a8c0@mshome.net>
Also the work of the people-next-door to the Ocaml developers, namely the ALGO project. See their web page at
http://algo.inria.fr/.
In particular the work of Philippe Flajolet, Bruno Salvy and Marni Mishna (spanning many years) on "automatic
complexity analysis", *especially* the asymptotic average-case analyses are quite impressive. They have been doing
this since 1989, but 'hiding' in the combinatorics and algorithms communities, and somehow their work seems to have
(unfortunately) escaped the attention of the programming language community.
Jacques
Frédéric Gava <frederic.gava@wanadoo.fr> wrote:
> Hi,
>
> See the works of
> - Kevin Hammond about inference cost equation.
> - Bernd Grobauer about cost recurrence for DML programs,
> - Whei-Nagan and Siau-Chaeng Khoo about sized types,
> - Daniel Le metayer, ACE an automatic complexity evaluator,
> - Brian Reistad and David K. Gifford about satic dependent costs for
> estimating program excution time
> - Mads Rosendahl: "automatic complexity analysis" (cost of extracted nuprl
> programs)
>
> Cheers,
> Frédéric Gava
>
> ----- Original Message -----
> From: "Roberto Bagnara" <bagnara@cs.unipr.it>
> To: <caml-list@inria.fr>
> Sent: Thursday, December 02, 2004 12:57 PM
> Subject: [Caml-list] Automatic complexity analysis of OCaml programs
>
>
> >
> > I am looking for references and pointers to existing
> > works concerning the automatic or semiautomatic
> > complexity analysis of programs written in OCaml or
> > in a subset of it. Pointers to the literature
> > and to available implementations are both very welcome.
> > Many thanks in advance,
> >
> > Roberto
> >
> > --
> > Prof. Roberto Bagnara
> > Computer Science Group
> > Department of Mathematics, University of Parma, Italy
> > http://www.cs.unipr.it/~bagnara/
> > mailto:bagnara@cs.unipr.it
> >
> > _______________________________________________
> > Caml-list mailing list. Subscription management:
> > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> > Archives: http://caml.inria.fr
> > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> > Bug reports: http://caml.inria.fr/bin/caml-bugs
> >
>
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
prev parent reply other threads:[~2004-12-02 15:21 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-12-02 11:57 Roberto Bagnara
2004-12-02 15:00 ` [Caml-list] " Frédéric Gava
2004-12-02 15:21 ` Jacques Carette [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=web-74863986@cgpsrv2.cis.mcmaster.ca \
--to=carette@mcmaster.ca \
--cc=bagnara@cs.unipr.it \
--cc=caml-list@inria.fr \
--cc=frederic.gava@wanadoo.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).