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

Groups > comp.lang.misc > #2235 > unrolled thread

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

Back to article view | Back to comp.lang.misc

Contents

  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

#2235 — Press Release - Ada 2012 Published in LNCS and as Free eBook

-----------------------------------------------------------------------

FOR IMMEDIATE RELEASE

Ada 2012 Language Standard Published in Springer's LNCS and as
Free eBook Further Widen the Availability of Latest Language Revision

-----------------------------------------------------------------------

BRUSSELS, BELGIUM, May 12, 2014.  Ada-Europe today announced
the publication in extra formats of the 2012 version of the Ada
programming language standard, after its formal approval by ISO/IEC
JTC 1 in December 2012.

Since its standardization, the Ada 2012 standard has been available
in HTML and Adobe Acrobat format (PDF), from the download sites [1]
and [2].  More recently, the latest Ada language definition became
also available as volume 8339 of Springer's Lecture Notes in Computer
Science series [3], as a companion to the Ada 2012 Rationale, published
by Springer as LNCS 8338.

Moreover, with a view to exploring new media platforms to further
widen the availability of this important material, Ada-Europe has
now produced a prototype eBook of the Ada 2012 Reference Manual,
which can be downloaded from [1].  This eBook should be regarded
as a draft concept, proposed for the scrutiny of the Ada community
at large, for feedback on its perceived usefulness and suggestions
for improvements.  Returns on this subject should be addressed to
Ada-Europe at board@ada-europe.org.

[1] http://www.ada-europe.org/resources/online
[2] http://www.adaic.org/ada-resources/standards/ada12
[3] http://www.springer.com/computer/swe/book/978-3-642-45418-9


About Ada 2012

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.  The contract-based programming
features fit in smoothly with Ada's Object-Oriented Programming
model, and support the type substitutability guidance supplied in
the Object-Oriented Technologies and Related Techniques Supplement
(DO-332) to the new avionics software safety standard DO-178C/ED-12C.

Other new features in Ada 2012 include enhancements to the containers
library, additional expressiveness through features such as conditional
expressions and more powerful iterators, and support for multicore
platforms (task affinities, and the extension of the Ravenscar profile
- standardized in Ada 2005 as an efficient and predictable tasking
subset for high-integrity real-time systems - to multiprocessor and
multicore environments).


About Ada-Europe

Ada-Europe is the international non-profit organization that
promotes the knowledge and use of the Ada programming language in
academia, research and industry in Europe.  Its flagship event is the
annual international conference on reliable software technologies, a
high-quality technical and scientific event that has been successfully
running in the current format since 1996.

Ada-Europe has member organizations all over the continent, in Belgium,
Denmark, France, Germany, Spain, Sweden, and Switzerland, as well as
individual members in many other countries.  For information about
Ada-Europe, its charter, activities and sponsors, please visit:
www.ada-europe.org.  Ada-Europe is headquartered in Brussels, Belgium.

A PDF version of this press release is available at www.ada-europe.org.


Organization Contact

Ada-Europe ivzw/aisbl
Tullio Vardanega, Ada-Europe President
president@ada-europe.org


Press Contact

Ada-Europe ivzw/aisbl
Dirk Craeynest, Ada-Europe Vice-president
c/o KU Leuven, Department of Computer Science
dirk.craeynest@cs.kuleuven.be
vice-president@ada-europe.org

-----------------------------------------------------------------------
(Ada2012EBook.1)

[toc] | [next] | [standalone]

#2238

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.

[toc] | [prev] | [next] | [standalone]

#2242

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.

[toc] | [prev] | [next] | [standalone]

#2243

On 2014-05-13, Jacob Sparre Andersen <jacob@jacob-sparre.dk> wrote:
> 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.

One evening macro job in Lisp to make a define-checked-function or
whatever.

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

... in ANSI Lisp.

[toc] | [prev] | [next] | [standalone]

#2244

On Tue, 13 May 2014 11:21:08 +0000 (UTC), Kaz Kylheku wrote:

> On 2014-05-13, Jacob Sparre Andersen <jacob@jacob-sparre.dk> wrote:
>> 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.
> 
> One evening macro job in Lisp to make a define-checked-function or
> whatever.

No. You, Ada and Meyer's Eiffel (where the idea was borrowed from) are
wrong. Proper pre-/pos-conditions and invariants are strictly compile-time
things.

I would recommend everybody the great book by David Gries on the subject:

http://www.amazon.com/The-Science-Programming-Monographs-Computer/dp/0387964800/ref=sr_1_1?ie=UTF8&qid=1399982937&sr=8-1&keywords=gries+science+of+programming

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

And who will count those damned parentheses? (:-))

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

[toc] | [prev] | [standalone]

Back to top | Article view | comp.lang.misc

csiph-web