Programming Language Choices for High Integrity Systems
Posted
by Finbarr
on Stack Overflow
See other posts from Stack Overflow
or by Finbarr
Published on 2010-05-03T11:58:26Z
Indexed on
2010/05/03
12:08 UTC
Read the original article
Hit count: 271
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.
© Stack Overflow or respective owner
