Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.misc > #2238
| 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
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.misc | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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