From: "Jacques Carette" <carette@mcmaster.ca>
To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre),
Thomas Fischbacher <Thomas.Fischbacher@Physik.Uni-Muenchen.DE>
Cc: signoles@pc8-123.lri.fr, conchon@pc8-123.lri.fr, caml-list@inria.fr
Subject: Re: [Caml-list] poll for a graph library
Date: Thu, 29 Jan 2004 09:10:56 -0500 [thread overview]
Message-ID: <web-11097740@cgpsrv2.cis.mcmaster.ca> (raw)
In-Reply-To: <16409.2937.135897.374276@gargle.gargle.HOWL>
Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr> wrote:
> 2. Several algorithms over graphs, written as functors and thus
> independently of the graph implementation
Sounds very useful. One item I would very much like to see: when one is merely interested in using some (efficient!)
graph algorithm, there is often a choice of data structures to be made. Figuring out the asymptotics of each
algorithm over each data structure is feasible, but should be quite unnecessary: it would be quite convenient if there
were information functions [as part of the functor modules] which would output the asymptotic behaviour of the
instantiations.
This would be especially useful as some data structure-algorithm pairs are woefully inefficient, especially when it
comes to graphs!
Jacques
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2004-01-29 14:11 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-01-29 12:34 Jean-Christophe Filliatre
[not found] ` <Pine.LNX.4.58.0401291409180.3416@seekar.cip.physik.uni-muenchen.de>
2004-01-29 13:32 ` Jean-Christophe Filliatre
2004-01-29 14:10 ` Jacques Carette [this message]
2004-01-29 14:31 ` Andrew Bagdanov
2004-01-31 13:40 ` Eray Ozkural
2004-01-29 14:54 ` Plotting library (was: Re: [Caml-list] poll for a graph library) Richard Jones
2004-01-29 17:21 ` [Caml-list] poll for a graph library Jocelyn Sérot
2004-01-29 22:19 ` David MENTRE
2004-01-30 18:24 ` brogoff
2004-01-30 9:40 ` fva
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-11097740@cgpsrv2.cis.mcmaster.ca \
--to=carette@mcmaster.ca \
--cc=Jean-Christophe.Filliatre@lri.fr \
--cc=Thomas.Fischbacher@Physik.Uni-Muenchen.DE \
--cc=caml-list@inria.fr \
--cc=conchon@pc8-123.lri.fr \
--cc=signoles@pc8-123.lri.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).