comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <stephen_leake@acm.org>
To: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Cc: comp.lang.ada@ada-france.org
Subject: Re: SIGada Conference
Date: 16 Dec 2003 19:58:18 -0500
Date: 2003-12-16T19:58:18-05:00	[thread overview]
Message-ID: <mailman.126.1071622709.31149.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <brmpo9$ml8$2@a1-hrz.uni-duisburg.de>

Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de> writes:

> Stephen Leake <stephen_leake@acm.org> wrote:
> : 
> : The Ada 200Y features sound fun, too; aggregates for limited types, a
> : solution for mutually recursive types, Java-style interfaces, no more
> : silent overloading when overriding was meant.
> 
> Anything new about pre/post conditions?

Nope. I think 'pragma Assert' will be standardized, but that's about it.



-- 
-- Stephe




  reply	other threads:[~2003-12-17  0:58 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-12-15 23:01 SIGada Conference Chris Miller
2003-12-16  0:29 ` Stephen Leake
2003-12-16 11:19   ` Georg Bauhaus
2003-12-17  0:58     ` Stephen Leake [this message]
2003-12-16 13:10   ` Marin David Condic
2003-12-16 18:27     ` Ada Job Market, Was: " Simon Clubley
2003-12-17 13:35       ` Marin David Condic
2003-12-17 19:16         ` tmoran
2003-12-18  4:49         ` Steve
2003-12-18 13:10           ` Marin David Condic
  -- strict thread matches above, loose matches on Subject: below --
2003-12-16 18:39 amado.alves
2003-12-16 21:40 ` Georg Bauhaus
2003-12-16 22:17   ` Hyman Rosen
2003-12-17 17:51     ` Jean-Pierre Rosen
2003-12-17 18:55       ` Hyman Rosen
2004-01-05  9:19         ` Jean-Pierre Rosen
2004-01-05 15:35           ` Hyman Rosen
2003-12-16 23:33 ` Martin Dowie
     [not found] <468D78E4EE5C6A4093A4C00F29DF513D04B82B08@VS2.hdi.tvcabo>
2003-12-17  1:01 ` Stephen Leake
2003-12-17  3:19   ` Robert I. Eachus
2003-12-18  6:55     ` Robert C. Leif
2003-12-17 13:11 amado.alves
2003-12-17 13:31 amado.alves
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox