From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newsfeed.hal-mli.net!feeder3.hal-mli.net!aioe.org!.POSTED!not-for-mail
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: Mon, 12 May 2014 14:35:11 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <20140512073358.291@kylheku.com>
References: <lkpm52$2s4$1@dont-email.me>
NNTP-Posting-Host: X+c6YNb3AaWMPA3YfA4opg.user.speranza.aioe.org
X-Complaints-To: abuse@aioe.org
User-Agent: slrn/pre1.0.0-18 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
X-Original-Bytes: 1194
Xref: number.nntp.dca.giganews.com comp.lang.misc:38894 fr.comp.lang.ada:10794
 comp.lang.ada:186366
Date: 2014-05-12T14:35:11+00:00
List-Id: <comp.lang.ada>

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.