Ada has a couple of interesting features that make it stand out. They tie back to why it was created. It is no surprise that its special features are directly related to ensuring proper functionality of the programs created, for Ada was originally created for military purposes where a malfunction in the program could cause accidental injury or death. Things in Ada must be very specific to avoid error, and this is done through high-level typing.
Specifically, Ada uses explicitly declared access types.
It also supports run-time checks to protect against access to unallocated memory, buffer overflow errors, range violations, off-by-one errors, array access errors, and other detectable bugs.
These make Ada relevant in the coding of avionics, ATC, railways, banking, and military and space technology.
In my next posts, I will present some programs that will demonstrate these things!
No comments:
Post a Comment