❌ About FreshRSS

Normal view

There are new articles available, click to refresh the page.
Before yesterdayAda Resource Association

Free tools and libraries updates

By: brukardt
31 October 2023 at 23:19
Here are some recent updates to our Free Tools and Libraries page:

November 1, 2023: Added Light-weight threading, a library that provides many of the features of Ada 2022 without requiring support for the new syntax.
August 21, 2023: Added Ada-GUI a concurrent GUI for Ada and GPlt, an Ada-GUI program for quickly making plots.
June 14, 2022: Added Alire, a sandbox package manager for Ada, and an associated catalog.
(This post will be periodically updated – Webmaster.)

Ada User Journal News Digests now available here

By: brukardt
27 November 2019 at 23:20

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.

Additional Comment Period for Upcoming Ada Revision

By: brukardt
27 July 2019 at 02:41

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 [email protected] 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.

Carl Brandon scheduled for keynote at Ada Europe 2018

By: brukardt
3 June 2018 at 21:47

We recently received a note from Dr. Carl Brandon of the Vermont Technical College (and Director of their CubeSat laboratory). He mentioned that he will be a keynote speaker at Ada Europe 2018 in Lisbon, Portugal. A lengthier description of the conference keynotes can be found at http://ae2018.di.fc.ul.pt/keynotes.html.

He also noted that his colleague Dr. Peter Chapin will be presenting a tutorial on SPARK ( at the same conference.

Dr. Peter Chapin (Vermont Technical College) receives ACM SIGAda 2017 Robert Dewar Award

By: brukardt
15 December 2017 at 21:52

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.

Community Input for the Maintenance and Revision of the Ada Programming Language

By: brukardt
3 August 2017 at 05:08

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 [email protected] 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.

Ada Prehistory Unearthed

By: brukardt
28 April 2017 at 01:03

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.)

❌
❌