skip to main content
AdaCore AdaCore
  • Products
    • Overview
    • GNAT Pro
      • Overview
      • Assurance
      • Enterprise
      • Comparison
      • Toolsuite
    • CodePeer
      • Overview
      • Demos
    • SPARK Pro
      • Overview
      • Demos
      • Use Cases
    • QGen
      • Overview
      • Demos
      • Debugger
      • FAQ
    • Services
      • Overview
      • Mentorship
      • Training
      • Consulting
    • Support
    • Pricing
    • Languages
  • Industries
    • Overview
    • Domains
      • Avionics
      • ATM
      • Space
      • Rail
      • Automotive
      • Defense
      • Security
      • Medical
    • Projects
    • Standards
      • DO-178
      • ESARR
      • CAP670-SWO1
      • CWE
      • EN 50128
      • FACE
      • ISO 26262
      • IEC 61508
  • Company
    • Overview
    • About AdaCore
    • Careers
    • Our Customers
    • Partners
    • Executive Team
    • Contact Us
    • Legal
    • Privacy Policy
  • News
    • Overview
    • Press Releases
    • In the Press
    • Events
    • Newsletter
  • Resources
    • Overview
    • Books
    • Tech Papers
    • Documentation
    • Videos
    • Dev Log
    • Ada Gems
    • Learn.adacore.com
  • Community
    • Overview
    • Download
    • Academia
      • Overview
      • Projects
      • Universities
      • Register
      • Login
    • About Ada
    • About SPARK
    • Contact

Login to GNAT Tracker

Forgot your password?
GT Login Request Pricing
Overview Books Tech Papers Documentation Videos Dev Log Ada Gems

Ada 2012 Rationale

This document by John Barnes gives a view of the major enhancements to Ada being introduced in Ada 2012.

Attached Files

  • Ada2012_Rational_Introducion-cc.pdf 472.356 KB
  • Ada2012_Rationale_Chp1_contracts_and_aspects-cc.pdf 1.408 MB
  • Ada2012_Rationale_Chp2_expressions-cc.pdf 346.307 KB
  • Ada2012_Rationale_Chp3_structure-cc.pdf 338.828 KB
  • Ada2012_Rationale_Chp4_tasking_realtime-cc.pdf 327.877 KB
  • Ada2012_Rationale_Chp5_iterators_pools_etc-cc.pdf 772.74 KB
  • Ada2012_Rationale_Chp6a_containers-cc.pdf 853.621 KB
  • Ada2012_Rationale_Epilogue-cc.pdf 673.411 KB
  • Ada2012_Rationale_predefined_library-cc.pdf 590.264 KB
Last Updated: 10/19/2017
Posted on: 10/22/2013

Get Started with Ada

Learn about the GNAT development environment and how to get started »

Request Pricing

Help us understand your development needs and request pricing or an evaluation »

  • Products
  • GNAT Pro
  • CodePeer
  • SPARK Pro
  • QGen
  • Services
  • Support
  • Industries
  • Automotive
  • Avionics
  • Rail
  • Air Traffic
  • Space
  • Defense
  • Security
  • Resources
  • Books
  • Tech Papers
  • Documentation
  • Videos
  • Devlog
  • Company
  • About AdaCore
  • Careers
  • Contact
  • Customer Support
  • Login to GNAT Tracker
  • Expert Support
  • Contact Us
  • Pricing
  • News
  • Press Releases
  • AdaCore in the Press
  • Events
  • Inside AdaCore
  • Community
  • Download
  • Getting Started
  • About Ada
  • About SPARK
  • Academia
  • Overview
  • Projects
  • Universities
  • GAP Login
  • Other AdaCore Sites
  • The AdaCore Blog
  • Learn.adacore.com
  • Make with Ada
Twitter LinkedIn YouTube GitHub RSS
Copyright © 2021 AdaCore. All rights reserved.   Legal   |  Privacy Policy   |  Code of Conduct