While C or C++ can be used when coupled together with static analysers, I think ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

pjmlp on May 8, 2012 | parent | context | favorite | on: What's The Best Language For Safety Critical Softw...

While C or C++ can be used when coupled together with static analysers, I think I would go with Ada.

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