Hacker News new | past | comments | ask | show | jobs | submit login

If you're learn Ada, be sure to check out Building High Integrity Applications in SPARK to get the most benefit from it. I also find Barnes book does a good job chapter by chapter showing how it's systematically designed for safety. Finally, if anyone doubts improvements that can happen, I have the most apples to apples study you'll see comparing Ada and C.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact