AdaPower Logged in as Guest
Ada Tools and Resources

Ada 95 Reference Manual
Ada Source Code Treasury
Bindings and Packages
Ada FAQ


Join >
Home >
Articles >
Getting Started >
Ada FAQ >
Source Treasury >
Books & Tutorials >
Packages for Reuse >
Latest Additions >
Ada Projects >
Press Releases >
Ada Audio / Video >
Home Pages >
Links >
Contact >
About >
Login >
Back
What specific features does Ada have that makes it reliable?

Ada has language-defined static and runtime checks for many unsafe conditions, such as integer overflow, dereferencing invalid pointers, bad array indexes (fencepost issue), etc. It also is a highly typed language and the implementation tries to make the programmer ensure that data are relevant to the operation before an operation is performed. Furthermore, Ada comes with a very high-level multiprogramming paradigm and allows simpler specification of intricate conditions than other languages allow.

(John Duncan)


(c) 1998-2004 All Rights Reserved David Botton