Liste des Groupes | Revenir à c arch |
The recommended approach today (for applications where it matters) is to
use static analysis of the Ada code (e.g. SPARK or other tools) to prove
that run-time errors cannot happen, which then makes it possible to omit
the corresponding run-time checks while staying compliant.
>
I don't know if Rust code can be analysed as easily and completely as
Ada code can. But Ada compilers usually allow fine-grained control over
which checks are applied where, not just a single choice between "debug"
and "production" builds.
Les messages affichés proviennent d'usenet.