Logo - springer
Slogan - springer

Computer Science - Software Engineering | Ada 2012 Rationale - The Language -- The Standard Libraries

Ada 2012 Rationale

The Language -- The Standard Libraries

Barnes, John

2013, XI, 213 p. 3 illus.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$49.99

(net) price for USA

ISBN 978-3-642-45210-9

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$72.00

(net) price for USA

ISBN 978-3-642-45209-3

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

  • This overview of Ada 2012 programming language describes the important new features in Ada 2012
  • Introduces many new features for containers, pre and post conditions added to have facilities for multiprocessors
  • Contains a foreword by the president of Ada-Europe
Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Many important new features have been included such as those defining dynamic contracts and for handling multiprocessors and are integrated within the existing language framework in an elegant and coherent manner. The Ada 2012 Rationale describes not only the changes from Ada 2005 but also the reason for the changes. It starts with an introduction providing a general overview and this is followed by seven chapters focusing on contracts and aspects; extended expressions; structure and visibility; tasking and real time; iterators and pools; predefined library and containers. The book concludes with an epilogue largely concerned with compatibility issues.

Content Level » Research

Keywords » Ada 2012 - multicore architectures - programming language - real-time systems - safety-critical systems

Related subjects » Software Engineering

Table of contents 

Introduction.- Contracts and Aspects.- Expressions.- Structure and Visibility.- Tasking and Real-Time.- Iterators, Pools, etc.- Overview of changes.- Predefined Library.- Containers.- Epilogue.

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Programming Languages, Compilers, Interpreters.