When less is more: Programming language technology for safety
Safety is a requirement in systems where failure could cause loss of human life or other catastrophic consequences.
Developing safety-critical software is difficult, and the programming language choice is vital.
However, languages that seem to be candidates – such as C, C++, Ada, and Java – are too complex to be used as-is. But language subsets are proving a viable remedy.
Thus, it is important to understand these different languag...
Tags: ada, c, c language, java, languages, safety critical