Groups > comp.lang.ada > #19041

Re: Press Release - Ada 2012 Published in LNCS and as Free eBook

From	Kaz Kylheku <kaz@kylheku.com>
Newsgroups	comp.lang.ada, fr.comp.lang.ada, comp.lang.misc
Subject	Re: Press Release - Ada 2012 Published in LNCS and as Free eBook
Followup-To	comp.lang.misc
Date	2014-05-12 14:35 +0000
Organization	Aioe.org NNTP Server
Message-ID	<20140512073358.291@kylheku.com> (permalink)
References	<lkpm52$2s4$1@dont-email.me>

Cross-posted to 3 groups.

Followups directed to: comp.lang.misc

Show all headers | View raw

On 2014-05-12, dirk@feles.cs.kuleuven.be. (Dirk Craeynest) <dirk@feles.cs.kuleuven.be> wrote:
> Ada 2012 brings significant enhancements to Ada, most notably in the
> area of "contract-based programming."  New features include the ability
> to specify preconditions and postconditions for subprograms, and
> invariants for private (encapsulated) types.  These take the form of
> Boolean expressions that can be interpreted (under programmer control)
> as run-time conditions to be checked.


Yawn.

Back to comp.lang.ada | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Press Release - Ada 2012 Published in LNCS and as Free eBook dirk@feles.cs.kuleuven.be. (Dirk Craeynest) - 2014-05-12 05:28 +0000
  Re: Press Release - Ada 2012 Published in LNCS and as Free eBook Kaz Kylheku <kaz@kylheku.com> - 2014-05-12 14:35 +0000

csiph-web