skip to main content
AdaCore AdaCore
  • Products
    • Overview
    • GNAT Pro
      • Overview
      • Assurance
      • Enterprise
      • Comparison
      • Toolsuite
    • GNAT Pro for Rust
    • GNAT Dynamic Analysis Suite
      • GNATcoverage
      • GNATtest
      • GNATfuzz
    • GNAT Static Analysis Suite
      • CodePeer
      • GNATcheck
      • GNATmetric
    • SPARK Pro
      • Overview
      • Demos
      • Use Cases
    • RecordFlux
    • Pricing
    • Terms and Conditions
    • Languages
  • Services
    • Overview
    • Certification & Qualification
    • Mentorship
    • Training
    • Consulting
  • Industries
    • Overview
    • Domains
      • Avionics
      • ATM
      • Space
      • Rail
      • Automotive
      • Defense
      • Security
      • Medical
    • Case Studies
    • Standards
      • DO-178
      • ESARR
      • CAP670-SWO1
      • CWE
      • EN 50128
      • FACE
      • ISO 26262
      • IEC 61508
  • Company
    • Overview
    • About AdaCore
    • Press Releases
    • Events
    • Executive Team
    • Careers
    • Our Customers
    • Partners
    • Contact Us
    • Legal
    • Privacy Policy
  • Resources
    • Overview
    • Case Studies
    • Books
    • Papers
    • Articles
    • Videos
    • AdaCore Blog
    • Learn.adacore.com
  • Community
    • Overview
    • Academia
      • Overview
      • Projects
      • Universities
      • Register
      • Login
    • About Ada
    • About SPARK
    • Contact
  • Support
    • Overview
    • GNAT Tracker
    • Documentation
    • Dev Log
    • Cybersecurity Center
    • AdaCore Digest

Login to GNAT Tracker

Forgot your password?
GT Login Request Pricing
Resources
Overview Case Studies Books Papers Articles Videos AdaCore Blog

Ada 2012 Rationale

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

Ada 2012 Rationale
Download 3.602 MB pdf

Learn Ada Today

Visit our interactive platform designed to teach the Ada and SPARK languages. »

Request Pricing

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

  • Products
  • GNAT Pro
  • GNAT Pro for Rust
  • GNAT Dynamic Analysis Suite
  • GNAT Static Analysis Suite
  • SPARK Pro
  • RecordFlux
  • Pricing
  • Terms and Conditions
  • Languages
  • Services
  • Certification & Qualification
  • Mentorship
  • Training
  • Consulting
  • Industries
  • Avionics
  • ATM
  • Space
  • Rail
  • Automotive
  • Defense
  • Security
  • Medical
  • Company
  • About AdaCore
  • Press Releases
  • Events
  • Executive Team
  • Careers
  • Our Customers
  • Partners
  • Contact
  • Resources
  • Overview
  • Case Studies
  • Books
  • Papers
  • Articles
  • Videos
  • AdaCore Blog
  • Learn.adacore.com
  • Community
  • Getting Started
  • About Ada
  • About SPARK
  • Contact
  • Academia
  • Overview
  • Projects
  • Universities
  • GAP Registration
  • GAP Login
  • Support
  • GNAT Tracker
  • Documentation
  • Dev Log
  • Cybersecurity Center
  • Other AdaCore Sites
  • The AdaCore Blog
  • Learn.adacore.com
  • Make with Ada
Twitter LinkedIn YouTube GitHub RSS
Copyright © 2023 AdaCore. All rights reserved.   Legal   |  Privacy Policy   |  Code of Conduct