From: Jeffrey Carter <jrcarter@acm.org>
Subject: Re: List Containers - The Road Ahead
Date: Fri, 09 Nov 2001 01:48:37 GMT
Date: 2001-11-09T01:48:37+00:00 [thread overview]
Message-ID: <3BEB3621.410A774@acm.org> (raw)
In-Reply-To: 9sdpku$eu2$1@news.huji.ac.il
Ehud Lamm wrote:
>
> We need some central repository. I hope David will agree to host this on
> AdaPower.
> The repository will include:
> - Specs (we have several alternative, and I think we can keep an open mind.
> But let's try to keep the number of variations to a minimum).
OK. PragmAda contributes PragmARC.List_Unbounded_Unprotected, which is
already at AdaPower.
>
> - Refernce implementations of the specs. These can be contributes by anyone,
> but must adhere to the spec. Trying to provide implementations, is the sure
> way of finding mistakes in the specs...
OK. PragmAda contributes PragmARC.List_Unbounded_Unprotected, which is
already at AdaPower.
>
> - Test code, that uses the containers. If the specs are useful, it should be
> easy enough to take some code you have that uses lists, and make it use
> "standard" list package.
OK. PragmAda contributes lsort.adb, which is already at AdaPower.
--
Jeff Carter
"Now go away or I shall taunt you a second time."
Monty Python & the Holy Grail
next prev parent reply other threads:[~2001-11-09 1:48 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-11-08 11:13 List Containers - The Road Ahead Ehud Lamm
2001-11-08 13:55 ` Ehud Lamm
2001-11-08 14:08 ` David Botton
2001-11-08 16:44 ` Darren New
2001-11-08 19:39 ` Marin David Condic
2001-11-09 16:43 ` Ted Dennison
2001-11-09 18:07 ` Darren New
2001-11-11 2:20 ` David Botton
2001-11-12 18:49 ` Darren New
2001-11-08 20:39 ` Ehud Lamm
2001-11-08 22:24 ` Nick Roberts
2001-11-08 23:24 ` Marin David Condic
2001-11-09 17:04 ` Ted Dennison
2001-11-09 17:52 ` Marin David Condic
2001-11-10 2:21 ` Ted Dennison
2001-11-10 4:04 ` Jeffrey Carter
2001-11-10 5:04 ` Ted Dennison
2001-11-10 19:41 ` Nick Roberts
2001-11-10 20:48 ` Florian Weimer
2001-11-10 21:30 ` Nick Roberts
2001-11-10 23:01 ` Ted Dennison
2001-11-11 17:42 ` Jeffrey Carter
2001-11-10 11:57 ` Florian Weimer
2001-11-10 11:59 ` Florian Weimer
2001-11-09 1:55 ` Jeffrey Carter
2001-11-08 19:36 ` Marin David Condic
2001-11-08 20:37 ` Ehud Lamm
2001-11-09 17:20 ` Ted Dennison
2001-11-08 21:32 ` Nick Roberts
2001-11-09 1:48 ` Jeffrey Carter [this message]
2001-11-09 19:04 ` Ted Dennison
2001-11-14 8:36 ` Mats Karlssohn
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox