From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: Parametrically polymorphic operations (Was: Safe C++)
Date: Thu, 20 Sep 2001 14:27:17 +0200
Date: 2001-09-20T14:27:17+02:00 [thread overview]
Message-ID: <3BA9E0A5.2D58A110@nbi.dk> (raw)
In-Reply-To: slrn9qjlf3.kf.lutz@taranis.iks-jena.de
Lutz:
> * Jacob Sparre Andersen wrote:
> >The current Ada specification forces us to move these checks
> >into the body of the functions and procedures.
>
> Use Anna.
"Anna" = "Annotated Ada" (it seems)
Why shouldn't this feature be included in Ada?
Jacob (who will take a look at Anna)
--
I �vrigt er DVD-formatet ulovligt i alle WTO-medlemslande.
next prev parent reply other threads:[~2001-09-20 12:27 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-09-18 19:45 Safe C++ Richard Riehle
2001-09-19 14:38 ` Brian Rogoff
2001-09-19 15:52 ` Chad Robert Meiners
2001-09-19 17:43 ` Brian Rogoff
2001-09-19 21:38 ` Chad R. Meiners
2001-09-20 3:38 ` Brian Rogoff
2001-09-20 11:52 ` Pat Rogers
2001-09-20 16:01 ` Brian Rogoff
2001-09-20 8:22 ` Colin Paul Gloster
2001-09-20 13:45 ` Chad R. Meiners
2001-09-20 21:03 ` codesavvy
2001-09-20 11:37 ` Parametrically polymorphic operations (Was: Safe C++) Jacob Sparre Andersen
2001-09-20 11:41 ` Lutz Donnerhacke
2001-09-20 12:27 ` Jacob Sparre Andersen [this message]
2001-09-20 15:49 ` Brian Rogoff
2001-09-21 9:24 ` Jacob Sparre Andersen
2001-09-20 16:22 ` Dmitry A. Kazakov
2001-09-21 16:08 ` Wes Groleau
2001-09-21 17:13 ` Jacob Sparre Andersen
2001-09-21 18:43 ` Wes Groleau
2001-09-20 2:41 ` Safe C++ David Botton
2001-09-20 2:39 ` David Botton
2001-09-20 3:21 ` Brian Rogoff
2001-09-20 12:43 ` David Botton
2001-09-25 14:21 ` Region-based mem mgmt [was: Re: Safe C++] Tucker Taft
2001-09-25 14:46 ` Tucker Taft
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox