KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
I tried googling and read some snippets online. Why is Ada a "safety critical" language? Some things I notice are No pointers Specify a range (this type is an integer but can only be 1-12) Explicitly state if a function parameter is out or in/out Range-based loops (To avoid bound errors or bound checking) The rest of the syntax I either didn't understand or didn't see how it helps it to be 'safety critical'. These are some points but I don't see the big picture. Does it have design-by-contract that I am not seeing? Does it have rules that make it harder for code to compile (and if so what are some?) Why is it a 'safety critical' language?
Tags (comma-separated)
Save Edits
Cancel