|
|
|
|
|
|
by irundebian
2474 days ago
|
|
|
- You don't need much tooling and coding guidelines if safety aspects which prevent common C errors are built into language design. Despite that SPARK, a subset of Ada makes it more easy to proof program correctness. I'm not sure if it's similarly easy for C. |
|
|