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: 267

Filed under:

exam-revision

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.

Related posts about programming-languages

Which order would you teach programming languages in, when teaching a newbie?

as seen on Programmers - Search for 'Programmers'
If you had to design a study program, with a breadth-of-programming-languages requirement, which stated that the student should be exposed to all major concepts and methodologies that can be taught through (at the minimum) 6 programming languages, which programming languages would you choose to teach… >>> More
Extending Programming Languages

as seen on Stack Overflow - Search for 'Stack Overflow'
(Since I just posted this in another question, but my browser had to be annoying and submit it without content first, here it is again:) I'm a fan of clean code. I like my languages to be able to express what I'm trying to do, but I like the syntax to mirror that too. For example, I work on a lot… >>> More
Facebook Game Development - Which Programming languages?

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi folks, I am going to develop a facebook game as topic for my thesis. I am wondering which programming languages i should choice. I am used to programming in .NET. But i am also comfortable in C++ and Java. I don't want to use Flash as the graphical frontend since i don't like it. So i guess… >>> More
Objective-measures of the power of programming languages

as seen on Stack Overflow - Search for 'Stack Overflow'
Are there any objective measures for measuring the power of programming languages? Turing-completeness is one, but it is not particularly discriminating. I also remember there being a few others measures of power which are more limited versions (like finite-state-autonoma), but is there any objective… >>> More
Extending Programming Languages [closed]

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm a fan of clean code. >>> More

Developer IT

Programming Language Choices for High Integrity Systems - Developer IT

Programming Language Choices for High Integrity Systems

high-integrity-systems

programming-languages

exam-revision

Related posts about high-integrity-systems

Programming Language Choices for High Integrity Systems

Related posts about programming-languages

Which order would you teach programming languages in, when teaching a newbie?

Extending Programming Languages

Facebook Game Development - Which Programming languages?

Objective-measures of the power of programming languages

Extending Programming Languages [closed]

Categories cloud