Programming Language Choices for High Integrity Systems
- by Finbarr
What programming languages are a good choice for High Integrity Systems?
An example of a bad choice is Java as there is a considerable amount of code that is inaccessible to the programmer. I am looking for examples of strongly typed, block structured languages where the programmer is responsible for 100% of the code, and there is as little interference from things like a JVM as possible.
Compilers will obviously be an issue. Language must have a complete and unambiguous definition.