From: Kaz Kylheku <kaz@kylheku.com>
Subject: Re: Press Release - Ada 2012 Published in LNCS and as Free eBook
Date: Mon, 12 May 2014 14:35:11 +0000 (UTC)
Date: 2014-05-12T14:35:11+00:00 [thread overview]
Message-ID: <20140512073358.291@kylheku.com> (raw)
In-Reply-To: lkpm52$2s4$1@dont-email.me
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.
prev parent reply other threads:[~2014-05-12 14:35 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-12 5:28 Press Release - Ada 2012 Published in LNCS and as Free eBook Dirk Craeynest
2014-05-12 14:35 ` Kaz Kylheku [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox