(j3.2006) [Fwd: Press Release - Ada 2012 Published in LNCS and as Free eBook]

[Keith Bierman]

Humm, I find this at the provided link for the "free ebook". I guess the
ISO IP police got wind of this.

"We are sorry, but for legal reasons this title is not available as eBook"



Keith Bierman
khbkhb at gmail.com
kbiermank AIM
303 997 2749


On Mon, May 12, 2014 at 12:48 AM, Van Snyder <van.snyder at jpl.nasa.gov>wrote:

>  FYI.
>
> At least four things of interest:
>
> The Ada 2012 standard has been published as an experimental eBook.
> Ada 2012 has features for contract-based programming.
> Ada 2012 has conditional expressions.
> Ada 2012 has support for multicore platforms.
>
> -Van
>
> -------- Original Message --------  Subject: Press Release - Ada 2012
> Published in LNCS and as Free eBook  Date: Mon, 12 May 2014 07:32:24 +0200  From:
> Dirk Craeynest <Dirk.Craeynest at cs.kuleuven.be><Dirk.Craeynest at cs.kuleuven.be>  To:
> <Ada-Europe-interest at cs.kuleuven.be> <Ada-Europe-interest at cs.kuleuven.be>
>
> -----------------------------------------------------------------------
>
> 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 at 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 Presidentpresident at ada-europe.org
>
>
> Press Contact
>
> Ada-Europe ivzw/aisbl
> Dirk Craeynest, Ada-Europe Vice-president
> c/o KU Leuven, Department of Computer Sciencedirk.craeynest at cs.kuleuven.bevice-president at ada-europe.org
>
> -----------------------------------------------------------------------
>
> Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
>
>
> _______________________________________________
> J3 mailing list
> J3 at mailman.j3-fortran.org
> http://mailman.j3-fortran.org/mailman/listinfo/j3
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.j3-fortran.org/pipermail/j3/attachments/20140512/68bf8c39/attachment-0003.html