Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.misc > #2242

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

Show all headers | View raw

Kaz Kylheku <kaz@kylheku.com> writes:
> 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.

It is actually much easier to use than having to insert assertions
everywhere yourself.

The down-side (at the moment) is that there is only one compiler which
implements it yet: GCC

Greetings,

Jacob
-- 
Those who can't laugh at themselves leave the job to others.

Back to comp.lang.misc | Previous | Next — Previous in thread | Next 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
    Re: Press Release - Ada 2012 Published in LNCS and as Free eBook Jacob Sparre Andersen <jacob@jacob-sparre.dk> - 2014-05-13 10:04 +0200
      Re: Press Release - Ada 2012 Published in LNCS and as Free eBook Kaz Kylheku <kaz@kylheku.com> - 2014-05-13 11:21 +0000
        Re: Press Release - Ada 2012 Published in LNCS and as Free eBook "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2014-05-13 14:16 +0200

csiph-web