• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Blog Jun 14 '22

    Free tools and libraries updates

    by brukardt
    Here are some recent updates to our Free Tools and Libraries page:

    June 14, 2022: Added Alire, a sandbox package manager for Ada, and an associated catalog.
    October 14, 2021: Added Adare_Net, a small, portable and easy to use Ada network library.
    June 14, 2021: Added Portable OpenAL Sound, a minimal library interfacing to OpenAL Sound to provide the capabilities of playing sound files on many platforms.
    Added ARE (Advanced Resource Embedder), a tool which can generate Ada code to embed a file (image, script, etc) in an Ada executable.
    (This post will be periodically updated – Webmaster.)
    Read Blog Entry
  • Blog Nov 28 '19

    Ada User Journal News Digests now availa...

    by brukardt

    The AdaIC is happy to announce a new service, providing links to the Ada User Journal (AUJ) News Digests as each becomes available.

    The Ada User Journal (AUJ), currently in its 40th year of existence, is published by Ada-Europe four times a year, in March, June, September and December.

    The AUJ Online Archive makes the full AUJ issues publicly available 1 year after publication and distribution to AUJ subscribers. Every issue includes a Quarterly News Digest section, which is separately made publicly available 6 months after publication.

    Read Blog Entry
  • Blog Jul 27 '19

    Additional Comment Period for Upcoming A...

    by brukardt

    ISO/IEC JTC 1/SC 22/WG 9 (WG 9) is responsible for the maintenance and revision of the Ada Programming Language and associated standards and technical reports. As part of the language maintenance activity, WG 9 has established a group of Ada experts as the Ada Rapporteur Group (ARG). The ARG receives input from the Ada community at large to consider for inclusion in revision to the Ada programming language standard. The WG 9 has produced a number of revisions to the language in accordance with ISO policy and to address the evolution of technology (Ada 83, Ada 95, Ada 2005, Ada 2012).

    Presently, the ARG is nearing completion on a revision to Ada 2012 (known for now as Ada 202x) which includes new contracts and lightweight parallelism features. Concern has been raised that these new proposals have not been prototyped nor has the suitability for diverse target environments been assessed.

    Therefore, the ARG is seeking comments, based on prototyping and review, on the new features (focused on the parallelism features) incorporated within the current draft of the Ada 202X standard. Comments should be submitted to ada-comment@ada-auth.org as described in the Ada Reference Manual Introduction (http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-0-3.html#p58). Please include the draft number with any Ada Reference Manual references in your comment. Comments should be sent by 1 June 2020 in order to be considered for the revision. (Note: While not required, joining the mailing list as described at http://www.ada-auth.org/comment.html is recommended so that you receive any queries on or responses to your comment.)

    The draft revision can be found at http://www.ada-auth.org/standards/ada2x.html. A list of issues addressed in Ada 202x can be found at http://www.ada-auth.org/ai-files/grab_bag/2020-Amendments.html.

    Read Blog Entry
  • Blog Mar 10 '19

    Ada Programmer Interviews

    by brukardt
    Tomek Walkuski has been posting a series of interviews with software developers interested in the Ada programming language. His goal is to promote both the Ada language and the Ada community. You can find the interviews on his site.

    Read Blog Entry
  • Blog Jan 18 '18

    Going All in with Ada

    by brukardt

    A recent Reddit post describes one programmer’s transition to Ada: Going All In With Ada. It’s an interesting read, especially for those of us that have been working to show the benefits of using Ada for decades.

    Read Blog Entry
  • Blog Dec 15 '17

    Dr. Peter Chapin (Vermont Technical Coll...

    by brukardt

    The ARA congratulates Dr. Peter Chapin on his receipt of ACM SIGAda’s Robert Dewar Award, which acknowledges outstanding contributions to the Ada community. Dr. Chapin was a major contributor to the Vermont Tech Lunar CubeSat project (cubesatlab.org) whose software was written in SPARK/Ada. The Vermont Tech CubeSat was launched in November 2013 and successfully completed its full two-year mission, the only one out of twelve academic CubeSats to do so. Dr. Chapin attributes the software’s reliability in large part to the SPARK/Ada technology, which was used to prove the absence of run-time errors.

    Dr. Chapin is now coordinating the work on CubedOS, a SPARK/Ada implementation of a software framework for small spacecraft, with plans to release the result as an open-source project. Other groups will thus have access to a high-integrity software base for their CubeSats, which currently have a very high failure rate.

    Dr. Chapin is the co-author, along with Prof. John McCormick, of “Building High Intergrity Applications with SPARK”, a student-oriented textbook on SPARK 2014.

    Read Blog Entry
  • Blog Aug 3 '17

    Community Input for the Maintenance and ...

    by brukardt

    ISO/IEC JTC 1/SC 22/WG 9 (WG 9) is responsible for the maintenance and revision of the Ada Programming Language and associated standards and technical reports. As part of the language maintenance activity, WG 9 has established a group of Ada experts as the Ada Rapporteur Group (ARG). The ARG receives input from the Ada community at large to consider for inclusion in revision to the Ada programming language standard. The WG 9 has produced a number of revisions to the language in accordance with ISO policy and to address the evolution of technology (Ada 83, Ada 95, Ada 2005, Ada 2012).

    Presently, the ARG is beginning work on a revision to Ada 2012 so that ISO standardization of the new version can be completed by 2020. This is a relatively short horizon, but it ensures that the language continues to evolve, and at the same time requires that the changes to the language are evolutionary and do not present an undue implementation burden on existing compilers and users.

    WG 9 requests the Ada community to submit enhancements to be considered for inclusion in the next revision of Ada. These should be sent to ada-comment@ada-auth.org as described in the Ada Reference Manual Introduction (http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-0-3.html#p58). For enhancement requests, it is very important to describe the programming problem and why the Ada 2012 solution is complex, expensive, or impossible. A detailed description of a specific enhancement is welcome but not necessarily required. The goal of the ARG is to solve as many programming problems as possible with new/enhanced Ada features that fit into the existing Ada framework. Thus the ARG will be looking at the language as a whole, which may suggest alternative solutions to the problem posed by an enhancement request. For a more detailed discussion, the guidelines presented for the Ada 2005 revision (see http://archive.adaic.com/news/pressrelease/call4apis.html) can be used as the ARG requirements are little changed.

    WG9 accepts enhancement requests at any time. To be considered for inclusion in the next revision of Ada, enhancement requests must be received by 15 January 2018. Suggestions received after that date may be considered if they relate to topics already under development; others will be considered only for future versions of Ada.

    WG 9 has directed the ARG to focus its work on three areas of particular interest to the Ada community: additional facilities for multi-core and multithreaded programming, improved facilities for program correctness, and enhanced container libraries. There are numerous proposed enhancements in these and other areas. Some of these proposals originated with members of the ARG, and others from members of the community at large. The interested reader can find the current state of these at http://www.ada-auth.org/AI12-SUMMARY.HTML.

    WG 9 encourages members of the Ada community at large to use the guidelines outlined above to provide input to WG 9 and the ARG for needed revisions and upgrades to the Ada programming language.

    Read Blog Entry
  • Blog Apr 28 '17

    Ada Prehistory Unearthed

    by brukardt

    The president of the ARA, Ben Brosgol, has unearthed a part of Ada Prehistory, a document from June 1976 titled “A Common Programming Language for the Department of Defense – Background and Technical Requirements”. We’ve posted it in the AdaIC archives in the Policy and History section. You can access it directly at http://archive.adaic.com/pol-hist/history/Fisher-P-1191.pdf. (Warning: this is a 7.5 megabyte file.)

    This report is a very early description of the process that led to Ada: it predates the language design competition. (Ben, for those of you who don’t know, was a principal designer for the runner-up language – Red – in that language design competition. Red was an interesting language in its own right.)

    Read Blog Entry
  • Blog Mar 10 '17

    Consolidated RM available in EMACS info ...

    by brukardt
    The consolidated Ada Reference manual is now available in EMACS info format, through the efforts of Stephen Leake. Find out more at his site — http://stephe-leake.org/ada/arm.html. The consolidated Ada 2012 Reference manual includes the original third edition (Ada 2012) and the corrections from Technical Corrigendum 1.
    Read Blog Entry
  • Blog Jul 8 '16

    Update to the Ada 2012 Rationale availab...

    by brukardt
    The Rationale Update for Ada 2012, based on an article in the Ada User Journal by John Barnes, organizes the changes of Technical Corrigendum 1 for Ada 2012 into the same chapters as the Ada 2012 Rationale. It is an essential companion to the Rationale document. It is available on the Ada Conformity Assessment Authority website in a variety of formats.
    Read Blog Entry
previous12345next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
PTC Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

View All Events



AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2023 Ada Resource Association Site Map | Contact Us