Top Questions

1. Use of exceptions in Ada
   7 votes

   3 answers
2. Compiler detection of race conditions between Tasks
   7 votes

   2 answers
3. The type of a Loop Parameter
   4 votes

   3 answers
4. Static Comparison of Record Layouts
   4 votes

   2 answers
5. Ada: Using a private variable in a precondition of a public function
   3 votes

   1 answers