| Subject | Datestamp | Replies | Score | |||
|---|---|---|---|---|---|---|
| Re:a language that forces good code? | ||||||
| attached to Why (Most) Software is so Bad | ||||||
| Cyclone is good, but check out SPARK... | ||||||
| attached to C with Safety - Cyclone | ||||||
| Re:Obligatory Ada95 plug... | ||||||
| attached to Portable Coding and Cross-Platform Libraries? | ||||||
| Re:What B2/A1 security is all about | ||||||
| attached to Certifying software as Secure? | ||||||
System checkpoint complete.
