| Topic Title | Topic Starter | Posts | Time |
| Another compiler problem related to multiple inher... | Maciej Sobczak <s... | 2 | 00:33:09 |
| Lack of formal syntax undermines Ada | usenet@[EMAIL PROTEC... | 38 | 02:41:28 |
| SPARK and static unit checking? | Jacob Sparre Anderse... | 4 | 02:59:20 |