Gem #148 : Su(per)btypes in Ada 2012 - Part 3
In the previous two Gems of this series, we saw how the aspects Static_Predicate and Dynamic_Predicate can be used to state properties of objects that should be respected at all times. This Gem is concerned with the Type_Invariant aspect.
Continue Reading »About Ada
Ada is a modern programming language designed for large, long-lived applications – and embedded systems in particular – where reliability and efficiency are essential.
The Next Generation of Ada – Ada 2012
The WG9 committee, after discussions with the ARG and with members of the Ada community, has instructed the ARG to complete the Amendment to Ada 2005 so that ISO standardization of the new version can be completed by 2012. Read More »
Ada Comparison Chart
See an overview of the evolution of the major features of the Ada programming language: Programming Structure, Modularity, Object Oriented Programming, Concurrency, Scientific Computing, Standard Libraries, and Character Support. Read More »
Benefits and Features
Ada has a set of unique technical features that make it highly effective for use in large, complex and safety-critical projects. But the benefits don’t stop there. We’ll explain how these same technical strengths can also translate into long-term business benefits. Read More »
Ada 2005 Overview
Learn about the key new language features introduced with Ada 2005. Read More »
The Ada Programming Language
Ada is a modern programming language designed for large, long-lived applications – and embedded systems in particular – where reliability and efficiency are essential. It was originally developed in the early 1980s (this version is generally known as Ada 83) by a team led by Dr. Jean Ichbiah at CII-Honeywell-Bull in France. The language was revised and enhanced in an upward compatible fashion in the early 1990s, under the leadership of Mr. Tucker Taft from Intermetrics in the U.S. The resulting language, Ada 95, was the first internationally standardized (ISO) Object-Oriented Language. Read More »
Ada and Model Based Development
Thanks to its rich support for object-orientation, concurrency and pre/post conditions, Ada is an excellent target language for automatic code generation from UML models. The following modeling environments offer industrial-strenght solutions for Ada code generation. Read More »
