问题标签 [high-integrity-systems]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
3 问题
0
投票
7
回答
1056
浏览
programming-languages - 高完整性系统的编程语言选择
哪些编程语言是高完整性系统的不错选择？
一个错误选择的例子是 Java，因为有大量的代码是程序员无法访问的。我正在寻找强类型、块结构语言的示例，其中程序员负责 100% 的代码，并且尽可能少地受到 JVM 之类的干扰。
编译器显然是个问题。语言必须有一个完整而明确的定义。
编辑：高完整性系统是安全关键系统等、安全系统等的总称。
编辑编辑：我想要不受平台影响的语言示例，无论编译器如何并且完全定义，它们都会产生相同的结果。
0
投票
1
回答
470
浏览
0
投票
2
回答
201
浏览
ada - “在 SPARK Ada 中接受挑战” - 在具有意外行为的后置条件中求和鬼函数
我正在用 SPARK Ada 编写一个软件，它需要后置条件来验证函数返回值是否等于数组的总和值。在证明函数所在的文件后，我不断收到一个错误，这个错误并没有完全叠加，没有双关语的意思（我将发布代码的屏幕截图以便更好地查看）。大小为 10 的数组中允许的唯一可接受的值是 0 或 1。
