Skip to search formSkip to main contentSkip to account menu

AdaControl

AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its first goal is to control proper usage of… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2011
Review
2011
Most companies have developed coding standards (often because having one is a requirement for certification), but few have… 
Review
2008
Review
2008
AdaControl [1] is a (free) tool whose purpose is to enforce coding standards and programming rules in Ada programs. As AdaControl…