标签: high-integrity-systems

哪些编程语言是高完整性系统的不错选择？

糟糕选择的一个例子是Java,因为程序员无法访问大量代码.我正在寻找强类型块结构语言的例子,其中程序员负责100%的代码,并且尽可能少地受到JVM之类的干扰.

编译器显然是一个问题.语言必须有完整而明确的定义.

编辑:高完整性系统是安全关键系统等,安全系统等的总称.

编辑编辑:我想要不受平台影响的语言示例,无论编译器如何,都会产生相同的结果,并且是完全定义的.