From: Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>
Subject: Re: AdaYY; Assertions?
Date: 12 Mar 2001 13:09:08 -0500
Date: 2001-03-12T18:23:12+00:00 [thread overview]
Message-ID: <uk85udfln.fsf@gsfc.nasa.gov> (raw)
In-Reply-To: 3AAA9B7A.36B601F0@ix.netcom.com
Lao Xiao Hai <laoxhai@ix.netcom.com> writes:
> <snip> However, a
> modest
> addition to the next version of Ada could be a powerful capability and
> make
> the language conformant with the publication of algorithm textbooks
> that,
> increasingly, demonstrate their examples by including pre-, post-, and
> invariant
> assertions.
So what is your proposal?
--
-- Stephe
next prev parent reply other threads:[~2001-03-12 18:09 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-03-10 21:24 AdaYY; Assertions? Lao Xiao Hai
2001-03-11 10:44 ` Florian Weimer
2001-03-12 16:20 ` Tucker Taft
2001-03-12 18:09 ` Stephen Leake [this message]
2001-03-14 17:17 ` Lao Xiao Hai
2001-03-14 19:39 ` Robert A Duff
2001-03-19 21:02 ` Robert I. Eachus
-- strict thread matches above, loose matches on Subject: below --
2001-03-12 11:07 Christoph Grein
2001-03-13 4:55 ` Bryce Bardin
2001-03-13 11:23 ` Florian Weimer
2001-03-14 16:52 ` Lao Xiao Hai
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox